位置：成果数据库 > 会议 > 会议详情页
Formula-dependent abstraction for CTL model checking
  • 所属机构名称：桂林电子科技大学
  • 会议名称：ICCSA 2008，Lecture Notes in Computer Science 5073
  • 成果类型：会议
  • 会场：Perugia, Italy
  • 相关项目：基于依赖公式抽象的软件模型检测研究
作者： Zhao, Lingzhong|Qian, Junyan|Cai, Guoyong|Gu, Tianlong|
同会议论文项目
基于依赖公式抽象的软件模型检测研究
期刊论文 20 会议论文 10
同项目会议论文
Distributed collaborating system design via electronic institutional calculus
Goal-independent semantics for path dependent analysis of prolog programs
An ASP based solution to mechanical assembly sequence planning
An ASP based method for subassembly identification
A novel test case generation method for Prolog programs based on call patterns semantics
Verifying programs using abstraction and theorem proving
Automatic Construction of Complete Abstraction by Abstract Interpretation
Supervising mechanism for contract based virtual organization
A formal framework for Policy-Governed institutional agency