欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
Formal verification for C program
ISSN号:0868-4952
期刊名称:Informatica
时间:0
页码:289-304
语言:英文
相关项目:基于依赖公式抽象的软件模型检测研究
作者:
Xu, Baowen|Qian, Junyan|
同期刊论文项目
基于依赖公式抽象的软件模型检测研究
期刊论文 20
会议论文 10
同项目期刊论文
Abstract Model Checking for Web Services
基于扩充环境演算的虚拟组织建模与分析
基于计算解语义的逻辑程序测试和调试框架
目标独立的Prolog程序路径依赖分析语义
调用模式和正确调用模式语义在Prolog程序测试中的应用
基于抽象解释的Prolog程序验证技术研究
基于SAT的程序谓词抽象技术研究
基于自动机理论的符号模型检验
道义Petri网及其在协同组织社交建模分析中的应用
基于结构化操作语义的安全协议分析框架研究
Abstraction-based model checking programs
A goal-independent constraint-based correct partial answers semantics for prolog with cut
LTL model checking for statecharts
基于完备抽象解释的模型检验CTL公式研究