位置：成果数据库 > 期刊 > 期刊详情页
Verification of distributed systems with the axiomatic system of MSVL
  • ISSN号：0934-5043
  • 期刊名称：Formal Aspects of Computing
  • 时间：2015.1
  • 页码：103-131
  • 相关项目：基于定理证明的多核并行程序验证
作者： Qian Ma|Zhenhua Duan|Nan Zhang|Xiaobing Wang|
同期刊论文项目
基于定理证明的多核并行程序验证
期刊论文 17 会议论文 10 获奖 1
同项目期刊论文
A formal proof of the deadline driven scheduler in PPTL axiomatic system
Verification of embedded real - time systems using symbolic model checking : a case study
Verifying safety critical task scheduling systems in PPTL axiom system
绳牵引摄像机器人的力位混合稳定性评价方法
A complete axiom system for propositional projection temporal logic with cylinder computation model
An extended strange planet protocol
性能非对称多核处理器上的自适应调度
PN2MSVL：工作流网到MSVL的转换
一个命题投影时序逻辑符号模型检测器
MSVL程序的自动定理证明方法
Formal verification with projection temporal logic
WISHBONE片上总线符号模型检测