10.3969/j.issn.1000-3428.2005.18.025
一种基于时间自动机的时钟等价性优化方法
提出了一种优化模型检验时间自动机的时钟等价规则,通过优化的时钟等价规则,使时间自动机等价后的域自动机状态数尽可能少,并在此基础上定义了适合于优化时钟等价规则的域自动机.优化时钟等价规则,在一定程度上有效地解决了状态空间爆炸问题.
模型检验、时间自动机、域自动机、时态逻辑
31
TP301.1(计算技术、计算机技术)
国防预研基金;广西自然科学基金0141046
2005-10-20(万方平台首次上网日期,不代表论文的发表时间)
共3页
71-73