US Patent Issued to UBERSPARK on July 22 for "Systems and methods for formal verification of computer platforms" (Texas, California, Pennsylvania Inventors)

ALEXANDRIA, Va., July 23 -- United States Patent no. 12,367,328, issued on July 22, was assigned to UBERSPARK INC. (Aledo, Texas).

"Systems and methods for formal verification of computer platforms" was invented by Amit Vasudevan (Aledo, Texas), Ajit Vasudevan (San Jose, Calif.) and Michael J McCall (Pittsburgh).

According to the abstract* released by the U.S. Patent & Trademark Office: "Systems and methods for mathematical modeling of the hardware and software stack of commodity computer platforms are provided, enabling provable guarantees on memory, device, and program execution. This approach addresses the technical problem of reliance on system agents that rely on implicit trust in the operating environment, which can be exploited by ...