基于线性时序逻辑的实时系统模型检查

著录项

• 来源
  《软件学报》 |2002年第2期|193-202|共10页
• 作者

  李广元; 唐稚松;

  展开▼
• 作者单位

  中国科学院;

  软件研究所;

  计算机科学重点实验室;

  北京;

  100080;

  中国科学院;

  软件研究所;

  计算机科学重点实验室;

  北京;

  100080;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 理论、方法;
• 关键词

  实时系统; 时间自动机; 线性时序逻辑; 模型检查; 性质验证;