首页>
外国专利>
Modeling software, the abstract, and methods and systems for analysis
Modeling software, the abstract, and methods and systems for analysis
展开▼
机译:建模软件,摘要以及分析方法和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼