位置：成果数据库 > 期刊 > 期刊详情页
Verifying safety critical task scheduling systems in PPTL axiom system
  • ISSN号：1382-6905
  • 期刊名称：Journal of Combinatorial Optimization
  • 时间：0
  • 页码：-
  • 相关项目：基于定理证明的多核并行程序验证
作者： Mengfei Yang|Bin Gu|Zhenhua Duan|Cong Tian|
同期刊论文项目
基于定理证明的多核并行程序验证
期刊论文 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
绳牵引摄像机器人的力位混合稳定性评价方法
Verification of distributed systems with the axiomatic system of MSVL
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片上总线符号模型检测