发明申请
US20050166167A1 System and method for modeling, abstraction, and analysis of software
有权
用于软件建模，抽象和分析的系统和方法
- 专利标题： System and method for modeling, abstraction, and analysis of software
- 专利标题（中）： 用于软件建模，抽象和分析的系统和方法
-
申请号： US11040409申请日： 2005-01-21
-
公开(公告)号： US20050166167A1公开(公告)日： 2005-07-28
- 发明人: Franjo Ivancic , Pranav Ashar , Malay Ganai , Aarti Gupta , Zijiang Yang
- 申请人： Franjo Ivancic , Pranav Ashar , Malay Ganai , Aarti Gupta , Zijiang Yang
- 申请人地址： US NJ Princeton
- 专利权人： NEC Laboratories America, Inc.
- 当前专利权人： NEC Laboratories America, Inc.
- 当前专利权人地址： US NJ Princeton
- 主分类号： G06F17/50
- IPC分类号： G06F17/50
摘要：
A system and method is disclosed for formal verification of software programs that advantageously translates the software, which can have bounded recursion, into a Boolean representation comprised of basic blocks and which applies SAT-based model checking to the Boolean representation.
公开/授权文献
信息查询
