Invention Grant
- Patent Title: Software verification using range analysis
- Patent Title (中): 使用范围分析进行软件验证
-
Application No.: US11422068Application Date: 2006-06-03
-
Publication No.: US08131532B2Publication Date: 2012-03-06
- Inventor: Srihari Cadambi , Aleksandr Zaks , Franjo Ivancic , Ilya Shlyakhter , Zijiang Yang , Malay Ganai , Aarti Gupta , Pranav Ashar
- Applicant: Srihari Cadambi , Aleksandr Zaks , Franjo Ivancic , Ilya Shlyakhter , Zijiang Yang , Malay Ganai , Aarti Gupta , Pranav Ashar
- Applicant Address: US NJ Princeton
- Assignee: NEC Laboratories America, Inc.
- Current Assignee: NEC Laboratories America, Inc.
- Current Assignee Address: US NJ Princeton
- Agent Jeffrey Brosemer; Joseph Kolodka
- Main IPC: G06F9/45
- IPC: G06F9/45 ; G06F9/44 ; G06F9/455
Abstract:
A system and method is disclosed for formal verification of software programs that advantageously bounds the ranges of values that a variable in the software can take during runtime.
Public/Granted literature
- US20060282806A1 SOFTWARE VERIFICATION USING RANGE ANALYSIS Public/Granted day:2006-12-14
Information query
