US Patent 7640536 Variable graph minimization for improved model-checking performance
Patent 7640536 was granted and assigned to Rockwell Collins on December, 2009 by the United States Patent and Trademark Office.
All edits
Edits on 17 Sep, 2023
Golden AI
Edits made to:
Infobox (+2 properties)
Infobox
Patent Inventor Names
Michael W. Whalen0
Steven P. Miller0
Edits on 16 Sep, 2023
Golden AI
Edits made to:
Article (+520 characters)
Article
Patent abstract
A method of verifying properties of a source program includes creating a directed multigraph from the source program. The directed multigraph is then minimized by identifying removable vertices in the multigraph. Based on the minimization of the directed multigraph, the source program is transformed by inlining variables in the source program to produce a transformed program. The transformed program is then model checked using a model checking tool in order to verify properties of the source program.
Edits on 22 May, 2023
Golden AI
Edits made to:
Infobox (+1/-1 properties)
US Patent 07640536 Variable graph minimization for improved model-checking performance US Patent 7640536 Variable graph minimization for improved model-checking performance
Infobox
Patent Number
07640536
Patent Number
7640536
Edits on 21 May, 2023
Golden AI
Edits made to:
Infobox (-1 properties)
Infobox
Official Website
Edits on 18 Jun, 2022
Golden AI
Edits made to:
Infobox (+1 properties)
Infobox
Website URL
Edits on 3 Dec, 2021
Golden AI
Edits made to:
Infobox (+8 properties)
US Patent 07640536 Variable graph minimization for improved model-checking performance
Infobox
Is a
Current assignee
Patent jurisdiction
Patent number
07640536
Date of patent
December 29, 2009
Patent application number
11236053
Date Filed
September 27, 2005
Patent primary examiner
Find more entities like US Patent 7640536 Variable graph minimization for improved model-checking performance
Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
