位置：成果数据库 > 期刊 > 期刊详情页
A formal proof of the deadline driven scheduler in PPTL axiomatic system
  • ISSN号：0304-3975
  • 期刊名称：Theoretical Computer Science
  • 时间：2014.10.16
  • 页码：229-253
  • 相关项目：基于定理证明的多核并行程序验证
作者： Nan Zhang|Zhenhua Duan|Cong Tian|Dingzhu Du|
同期刊论文项目
基于定理证明的多核并行程序验证
期刊论文 17 会议论文 10 获奖 1
同项目期刊论文
Verification of embedded real - time systems using symbolic model checking : a case study
Verifying safety critical task scheduling systems in PPTL axiom system
绳牵引摄像机器人的力位混合稳定性评价方法
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片上总线符号模型检测