US Patent Issued to UBERSPARK on Sept. 29 for "System and methods for end-to-end provable guarantees for safety critical computer platforms" (Texas, California, Pennsylvania Inventors)

ALEXANDRIA, Va., Sept. 30 -- United States Patent no. 12,748,679, issued on Sept. 29, was assigned to UBERSPARK INC. (Aledo, Texas).

"System and methods for end-to-end provable guarantees for safety critical computer platforms" was invented by Amit Vasudevan (Aledo, Texas), Michael J McCall (Pittsburgh) and Ajit Vasudevan (San Jose, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "A system and methods are disclosed for end-to-end provable guarantees for safety critical computer platforms. The technical problem addressed by this invention is the need to provide assurance that a complex safety-critical computer platform behaves as intended and is secure, particularly in safety-critical contexts where erro...