《计算机学报》文章摘要   全文下载
文章题目	时间符号迁移图上的可达性分析
作者	陈 靖
作者单位	(中国科学院软件研究所计算机科学重点实验室 北京 100080）
发表年份	2003
发表月份	1期　（页码：19—25)
文章摘要	提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法，并给出了算法的正确性证明.该算法可被用于硬件设计和通信协议验证等领域. 关键词 模型检测;协议;可达性分析;实时;时间符号迁移图 中图法分类号 TP301