位置：成果数据库 > 期刊 > 期刊详情页
Verification of embedded real - time systems using symbolic model checking : a case study
  • 期刊名称：International Journal of Hybrid Information T
  • 时间：2013
  • 页码：203-216
  • 相关项目：基于定理证明的多核并行程序验证
作者： Tao Pang|Zhenhua Duan|Xiaofang Liu|
同期刊论文项目
基于定理证明的多核并行程序验证
期刊论文 17 会议论文 10 获奖 1
同项目期刊论文
A formal proof of the deadline driven scheduler in PPTL axiomatic system
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片上总线符号模型检测