US Patent 7926037 Hiding irrelevant facts in verification conditions

Patent 7926037 was granted and assigned to Microsoft on April, 2011 by the United States Patent and Trademark Office.

Overview Structured Data Issues Contributors Activity

Is a

Patent

Patent attributes

Current Assignee

Microsoft

Patent Jurisdiction

United States Patent and Trademark Office

Patent Number

79260370

Patent Inventor Names

Michael Barnett0

K. Rustan M. Leino0

Date of Patent

April 12, 2011

Patent Application Number

113371290

Date Filed

January 19, 2006

Patent Primary Examiner

‌

Michael J Yigdall

Patent abstract

A program verification process begins by converting a language of the program from a first language into an intermediate language representation. The loops of the program are eliminated. The program is converted from the intermediate language representation into a passive form. Dominators for the passive form of the program are determined. A verification condition is generated from the passive form of the program. The verification condition is structured according to the computed dominators such that when a theorem prover identifies a potential error, portions of the passive form of the program irrelevant to the potential error are ignored.

Timeline

No Timeline data yet.

Further Resources

Title

Author

Link

Type

Date

No Further Resources data yet.

References

Find more entities like US Patent 7926037 Hiding irrelevant facts in verification conditions

Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.

Open Query Tool

Access by API