位置：成果数据库 > 会议 > 会议详情页
Detecting spurious counterexamples efficiently in abstract model checking
  • 所属机构名称：西安电子科技大学
  • 会议名称：2013 35th International Conference on Software Engineering, ICSE 2013
  • 时间：2013
  • 成果类型：会议
  • 相关项目：基于定理证明的多核并行程序验证
同会议论文项目
基于定理证明的多核并行程序验证
期刊论文 17 会议论文 10 获奖 1
同项目会议论文
Extending MSVL with Function Calls
An axiomatization for cylinder computation model
A transformation from p-π to MSVL
Simulation of CTCS-3 protocol with temporal logic programming
Extending MSVL with function calls
Translation from Workflow Nets to MSVL
Some fixed-point issues in PPTL
Normal form expressions of propositional projection temporal logic
An Extended Strange Planet Protocol