位置：成果数据库 > 会议 > 会议详情页
Verifying OO programs by linking algebraic and abstract specifications
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
  • 时间：2012
  • 成果类型：会议
  • 相关项目：面向对象程序的形式化规范与验证
作者： Qin Shu|Shuling Wang|Yijing Liu|
同会议论文项目
面向对象程序的形式化规范与验证
期刊论文 4 会议论文 14
同项目会议论文
Super-dense computation in verification of hybrid CSP processes
Denial-of-service security attack in the continuous-time world
Axioms and abstract predicates on interfaces in specifying/verifying OO components
Modular Reasoning for Message-Passing Programs
An assume/guarantee based compositional calculus for hybrid CSP
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