US Patent Issued on Jan. 20 for "Verification of the reliability of software and devices against assertions and guarantees" (Washington, Texas Inventors)

ALEXANDRIA, Va., Jan. 20 -- United States Patent no. 12,530,283, issued on Jan. 20.

"Verification of the reliability of software and devices against assertions and guarantees" was invented by Jason Burt (Seattle) and Robert McIver (Austin, Texas).

According to the abstract* released by the U.S. Patent & Trademark Office: "Computer systems, devices, and associated methods of verifying reliability of instructions for a device are disclosed herein. In one embodiment, a method includes identifying a reliability requirement associated with instructions for a device and receiving, from a user, an assertion in relation to the reliability requirement. The method includes generating a cryptographic assertion tracer (CAT) based at least in part on ...