US Patent 7926039 Reachability analysis for program verification
Patent 7926039 was granted and assigned to Nec Laboratories America, Inc. on April, 2011 by the United States Patent and Trademark Office.
All edits
Edits on 27 Nov, 2023
Golden AI
Edits made to:
Article (+443 characters)
Article
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.
Edits on 19 Oct, 2023
Golden AI
Edits made to:
Infobox (+1 properties)
Infobox
Patent Citations Received
Edits on 19 Sep, 2023
Golden AI
Edits made to:
Infobox (+3 properties)
Infobox
Patent Inventor Names
Aarti Gupta0
Chao Wang0
Zijiang Yang0
Edits on 15 Jul, 2023
Golden AI
Edits made to:
Infobox (+1/-1 properties)
US Patent 07926039 Reachability analysis for program verification US Patent 7926039 Reachability analysis for program verification
Infobox
Patent Number
07926039
Patent Number
7926039
Edits on 20 May, 2023
Golden AI
Edits made to:
Infobox (-1 properties)
Infobox
Official Website
Edits on 19 Jun, 2022
Golden AI
Edits made to:
Infobox (+1 properties)
Infobox
Website URL
Edits on 7 Dec, 2021
Golden AI
Edits made to:
Infobox (+8 properties)
US Patent 07926039 Reachability analysis for program verification
Infobox
Is a
Current assignee
Patent jurisdiction
Patent number
07926039
Date of patent
April 12, 2011
Patent application number
11692421
Date Filed
March 28, 2007
Patent primary examiner
Find more entities like US Patent 7926039 Reachability analysis for program verification
Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
