首页>
外国专利>
SYSTEM AND METHOD FOR MODELING, ABSTRACTING AND ANALYZING SOFTWARE
SYSTEM AND METHOD FOR MODELING, ABSTRACTING AND ANALYZING SOFTWARE
展开▼
机译:用于建模,抽象和分析软件的系统和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼