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