Author:
Kumar Rahul,Mercer Eric G.
Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. A performance study of distributed timed automata reachability analysis;Behrmann;Electronic Notes in Theoretical Computer Science,2002
2. Exploiting symmetry in temporal logic model checking;Clarke,1993
3. C. Demartini, R. Iosif, and R. Sisto. dSPIN: A dynamic extension of SPIN. In SPIN, pages 261–276, 1999
4. Model checking;Grumberg,2002
5. Using partial orders for the efficient verification of deadlock freedom and safety properties;Godefroid,1992
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献