ALEXANDRIA, Va., July 16 -- United States Patent no. 12,360,879, issued on July 15, was assigned to Tangram Flex Inc. (Dayton, Ohio).

"Technologies for verifying operations of software components" was invented by Matt D. Naveau (Dayton, Ohio), John P. Weis (Dayton, Ohio), Brandon M. Henry (Dayton, Ohio), Jonathan D. McGill (Dayton, Ohio), Steven D. White (Dayton, Ohio), Eric W. Zwirner (Dayton, Ohio) and Matthew R. Schweinefuss (Dayton, Ohio).

According to the abstract* released by the U.S. Patent & Trademark Office: "Technologies for verifying operations of software components include a device with a processor and a memory coupled with the processor, the memory including instructions that, when executed by the processor cause the process...