位置：成果数据库 > 会议 > 会议详情页
An assume/guarantee based compositional calculus for hybrid CSP
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012
  • 时间：2012
  • 成果类型：会议
  • 相关项目：面向对象程序的形式化规范与验证
作者： Shuling Wang|Naijun Zhan|Dimitar Guelev|
同会议论文项目
面向对象程序的形式化规范与验证
期刊论文 4 会议论文 14
同项目会议论文
Super-dense computation in verification of hybrid CSP processes
Denial-of-service security attack in the continuous-time world
Verifying OO programs by linking algebraic and abstract specifications
Axioms and abstract predicates on interfaces in specifying/verifying OO components
Modular Reasoning for Message-Passing Programs
Adding Formal Meanings to AADL with Hybrid Annex
Verifying simulink diagrams via a hybrid hoare logic prover
Modular verification of OO programs with interfaces
Formal modelling, analysis and verification of hybrid systems
Graph-based object-oriented Hoare Logic
Verifying chinese train control system under a combined scenario by theorem proving
S2N: Model transformation from SPIN to NuSMV
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover