317条引文
模型检验的偏序方法:从线性时间到分支时间
1996
使用异步Büchi自动机实现并发系统的高效自动验证
1995
符号模型检查:IO*状态及其以外*
1992
跟踪系统的时间逻辑:关于自动验证
1993
模型检查实时系统的紧凑数据结构和状态空间约简
2004
63参考文献
一种改进的基于时序逻辑的有限状态系统自动验证算法
1986
符号模型检查:1020个状态及以上
1989