Patent №
US 8,489,380
Granted
2013-07-16
Filed 2011
Owner
INTERNATIONAL BUSINESS MACHINES CORPORATION
Lab
AI components
2
evo · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
13108008
Systems and methods that use a solver to find bugs in a target model of a computing system having one or more finite computation paths are provided. The bugs on computation paths of less than a predetermined length are detected by translating the target model to include a state variable AF for one or more states of the target model, wherein AF(S) represents value of the state variable AF at state S; and solving the translated version of the target model that satisfies predetermined constrains.
AI classification
Ownership
INTERNATIONAL BUSINESS MACHINES CORPORATION
assignment · 262800580
Assignors
GEIST, DANIEL, GINZBURG, MARK, LUSTIG, YOAD, RABINOVOTZ, ISHAI, SHACHAM, OHAD, TZOREF, RACHEL
On an employer assignment, the assignors are typically the inventors.