一种基于场景的性质验证方法

著录项

• 来源
  《计算机工程与科学》 |2006年第4期|56-59|共4页
• 作者

  卓琳; 刘万伟; 谭庆平;

  展开▼
• 作者单位

  长沙大学计算机系;

  湖南;

  长沙;

  410003;

  国防科技大学计算机学院;

  湖南;

  长沙;

  410073;

  长沙大学计算机系;

  湖南;

  长沙;

  410003;

  国防科技大学计算机学院;

  湖南;

  长沙;

  410073;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 软件工程;
• 关键词

  顺序图; 状态图; 场景; 命题标记路径集; 有穷命题线性时序逻辑;