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:
Mar. 26, 2013
Filed:
Jan. 19, 2010
Oded Fuhrmann, Zichron Yaakov, IL;
Ohad Shacham, Kfar Monash, IL;
Oded Fuhrmann, Zichron Yaakov, IL;
Ohad Shacham, Kfar Monash, IL;
International Business Machines Corporation, Armonk, NY (US);
Abstract
A method to solve a template SAT problem associated with a bounded model that is modeled checked, said method comprising: receiving the template SAT problem, the template SAT problem comprising a plurality of clauses including a template clause that represents a plurality of concrete clauses each associated with a different temporal shift, the template clause is associated with a literal; determining a value of the literal in a cycle based on the template clause and a temporal shift, said determining comprises: determining a concrete clause of the plurality of concrete clauses based on the template clause and the temporal shift; determining a new template clause based on at least two clauses; determining a deduced clause based on at least the value of the literal in the cycle; deducing a solution to the template SAT problem; and outputting the solution.