Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Aarti Gupta0
Chao Wang0
Zijiang Yang0
Date of Patent
April 12, 2011
Patent Application Number
11692421
Date Filed
March 28, 2007
Patent Citations Received
Patent Primary Examiner
Patent abstract
An improved method for automatically improving the precision of an extrapolation operator used, for example, in software program verification in connection with the static analysis and model checking of the software programs which rely on fix-point computation. In particular, a new extrapolation-with-care-set operator, together with a method for gradually increasing the precision of this operation by tightening the care set.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
