位置：成果数据库 > 期刊 > 期刊详情页
A complete axiom system for propositional projection temporal logic with cylinder computation model
  • ISSN号：0304-3975
  • 期刊名称：Theoretical Computer Science
  • 时间：2015.12
  • 页码：639-657
  • 相关项目：基于定理证明的多核并行程序验证
作者： Nan Zhang|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
Verifying safety critical task scheduling systems in PPTL axiom system
绳牵引摄像机器人的力位混合稳定性评价方法
Verification of distributed systems with the axiomatic system of MSVL
An extended strange planet protocol
性能非对称多核处理器上的自适应调度
PN2MSVL：工作流网到MSVL的转换
一个命题投影时序逻辑符号模型检测器
MSVL程序的自动定理证明方法
Formal verification with projection temporal logic
WISHBONE片上总线符号模型检测