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:
Jan. 07, 2014
Filed:
Jul. 22, 2009
Jason Raymond Baumgartner, Haifa, IL;
Shaked Flur, Haifa, IL;
Ziv Nevo, Haifa, IL;
Paul Joseph Roessler, Haifa, IL;
Jason Raymond Baumgartner, Haifa, IL;
Shaked Flur, Haifa, IL;
Ziv Nevo, Haifa, IL;
Paul Joseph Roessler, Haifa, IL;
International Business Machines Corporation, Armonk, NY (US);
Abstract
Phase abstraction may be utilized to increase efficiency of model checking techniques. A liveness property may be checked in respect to a phase abstracted model by modifying the liveness property in accordance with the phase abstracted model. A fairness property may be modified to ensure that the fairness property is held by the model checker. A counter-example produced by a model checker is modified to be in accordance to an original model. The counter-example comprises a repetitive behavior. The counter-example may be modified to shorten the repetitive behavior or to apply the repetitive behavior in an earlier cycle of the counter-example.