Invention Grant
- Patent Title: Software verification
- Patent Title (中): 软件验证
-
Application No.: US11422069Application Date: 2006-06-03
-
Publication No.: US07930659B2Publication Date: 2011-04-19
- Inventor: Franjo Ivancic , Aarti Gupta , Malay Ganai , Himanshu Jain
- Applicant: Franjo Ivancic , Aarti Gupta , Malay Ganai , Himanshu Jain
- Applicant Address: US NJ Princeton
- Assignee: NEC Laboratories America, Inc.
- Current Assignee: NEC Laboratories America, Inc.
- Current Assignee Address: US NJ Princeton
- Agent Jeffery J. Brosemer; Joseph Kolodka
- Main IPC: G06F17/50
- IPC: G06F17/50
Abstract:
A system and method is disclosed for formal verification of software programs that advantageously improves performance of an abstraction-refinement loop in the verification system.
Public/Granted literature
- US20060282807A1 SOFTWARE VERIFICATION Public/Granted day:2006-12-14
Information query
