Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Steven P. Miller0
Michael W. Whalen0
Date of Patent
December 29, 2009
Patent Application Number
11236053
Date Filed
September 27, 2005
Patent Primary Examiner
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.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
