首页> 外国专利> SYSTEM AND METHOD FOR MODELING, ABSTRACTION, AND ANALYSIS OF SOFTWARE

SYSTEM AND METHOD FOR MODELING, ABSTRACTION, AND ANALYSIS OF SOFTWARE

机译：软件建模，摘要和分析的系统和方法

页面导航

摘要
著录项
相似文献

摘要

A system and method is disclosed for formal verification of software that advantageously translates the software (101), which can have bounded recursion, into a Boolean representation (130) comprised of basic blocks and which applies SAT-based model checking (150) to the Boolean representation.

机译：公开了一种用于软件的形式验证的系统和方法，该系统和方法有利地将可以具有有限递归的软件（101）转换为由基本块组成的布尔表示（130），并且将基于SAT的模型检查（150）应用于软件。布尔表示。

著录项

公开/公告号WO2005072257A3

专利类型
公开/公告日2007-04-19

原文格式PDF
申请/专利权人 NEC LABORATORIES AMERICA INC.;
展开▼

申请/专利号WO2005US01963
发明设计人 IVANCIC FRANJO;ASHAR PRANAV N.;GANAI MALAY K.;GUPTA AARTI;YANG ZIJIANG;
展开▼

申请日2005-01-21
分类号G06F9/45;G06F7/60;G06F17/10;G06F17/50;
国家 WO
入库时间 2022-08-21 20:52:36

相似文献

专利
外文文献
中文文献