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:
Nov. 08, 2016
Filed:
Jun. 25, 2008
Applicants:
Nikolaj S. Bjorner, Woodinville, WA (US);
Leonardo Mendonca DE Moura, Sammamish, WA (US);
Inventors:
Nikolaj S. Bjorner, Woodinville, WA (US);
Leonardo Mendonca de Moura, Sammamish, WA (US);
Assignee:
Microsoft Technology Licensing, LLC, Redmond, WA (US);
Attorneys:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 9/44 (2006.01); G06F 9/445 (2006.01);
U.S. Cl.
CPC ...
G06F 9/44589 (2013.01);
Abstract
A method for automatically analyzing formulas and adding pattern annotations to quantifiers based on a database of common pattern idioms. The method involves matching base pattern inference for Satisfiability Modulo Theories (SMT) solvers. The method uses a database for fault detection in externally supplied pattern annotated formulas. The method also uses matching code trees to mixed second-order pattern matching.