Patent №
US 6,904,590
Granted
2005-06-07
Filed 2001
Owner
MICROSOFT CORPORATION
Lab
AI components
1
hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
09866090
Methods are discussed that enhance program analysis. One aspect of the invention includes a method for checking a model of a program. The method includes a control-flow graph having vertices from the model, applying a transfer function to each vertex to form a set of path edges, and analyzing the set of path edges of a vertex. The set of path edges includes valuations that are implicitly represented so as to inhibit an undesired explosion in the valuations that would hinder the act of analyzing.
AI classification
Ownership
MICROSOFT CORPORATION
assignment · 118590725
Assignors
BALL, THOMAS J., RAJAMANI, SRIRAM K.
On an employer assignment, the assignors are typically the inventors.