发明申请
US20080209389A1 Method, System and Program Product Supporting Sequential Encoding for Relational Analysis (SERA) of a Software Model
有权
方法，系统和程序产品支持软件模型的关系分析（SERA）的顺序编码
- 专利标题： Method, System and Program Product Supporting Sequential Encoding for Relational Analysis (SERA) of a Software Model
- 专利标题（中）： 方法，系统和程序产品支持软件模型的关系分析（SERA）的顺序编码
-
申请号： US11677652申请日： 2007-02-22
-
公开(公告)号： US20080209389A1公开(公告)日： 2008-08-28
- 发明人: Jason R. Baumgartner , Ali S. El-Zein , Viresh Paruthi , Fadi A. Zaraket
- 申请人： Jason R. Baumgartner , Ali S. El-Zein , Viresh Paruthi , Fadi A. Zaraket
- 主分类号： G06F9/44
- IPC分类号： G06F9/44
摘要：
A method of verifying a software system includes receiving a description of a software system described utilizing a high-level modeling language, and responsive thereto, parsing the description and constructing an abstract syntax graph. The abstract syntax graph is transformed into a sequential logic representation of the software system, and following the transforming, the software system is verified based upon the sequential logic representation. Following verification, results of verification of the software system are output.
公开/授权文献
信息查询
