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. 08, 2013
Filed:
Sep. 23, 2009
Sharon Keidar Barner, Haifa, IL;
Shiri Moran, Haifa, IL;
Ziv Nevo, Haifa, IL;
Sitvanit Ruah, Haifa, IL;
Tatyana Veksler, Haifa, IL;
Sharon Keidar Barner, Haifa, IL;
Shiri Moran, Haifa, IL;
Ziv Nevo, Haifa, IL;
Sitvanit Ruah, Haifa, IL;
Tatyana Veksler, Haifa, IL;
International Business Machines Corporation, Armonk, NY (US);
Abstract
A computerized system comprising: a processor; a first interface configured to obtain a constraint; a second interface configured to obtain a first model, wherein the first model is configured to be utilized in model checking, and the first model, when constrained by the constraint, comprises at least one finite path; and a finite path removal module implemented in the processor and configured to generate a second model equivalent to the first model obtained by said second interface, wherein the second model excludes a portion of the at least one finite path, and the second model is configured to be utilized in model checking.