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:
Aug. 14, 2012
Filed:
Jun. 30, 2008
Eli Arbel, Migdal Haemek, IL;
Shaked Flur, D.N. Misgav, IL;
Ziv Nevo, Yokneam Ilit, IL;
Michael Shamis, Haifa, IL;
Eli Arbel, Migdal Haemek, IL;
Shaked Flur, D.N. Misgav, IL;
Ziv Nevo, Yokneam Ilit, IL;
Michael Shamis, Haifa, IL;
International Business Machines Corporation, Armonk, NY (US);
Abstract
Formal verification of models using concurrent model-reduction and model-checking. For example, a system for formal verification of models includes: one or more model reducers to reduce a model; one or more model checkers to check the model, wherein at least one of the model reducers is to run concurrently with at least one of the model checkers; and a model synchronizer to synchronize information between at least one of the model reducers and at least one of the model checkers.