The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 16, 2013
Filed:
May. 16, 2011
Daniel Geist, Haifa, IL;
Mark Ginzburg, Be'er Sheva, IL;
Yoad Lustig, Nesher, IL;
Ishai Rabinovotz, Haifa, IL;
Ohad Shacham, Kfar Monash, IL;
Rachel Tzoref, Haifa, IL;
Daniel Geist, Haifa, IL;
Mark Ginzburg, Be'er Sheva, IL;
Yoad Lustig, Nesher, IL;
Ishai Rabinovotz, Haifa, IL;
Ohad Shacham, Kfar Monash, IL;
Rachel Tzoref, Haifa, IL;
International Business Machines Corporation, Armonk, NY (US);
Abstract
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.