Publisher
Springer Berlin Heidelberg
Reference78 articles.
1. Nina Amla, Robert P. Kurshan, and Kedar S. Namjoshi. AutoAbs: Syntax-directed program abstraction, 2002. Submitted.
2. Lect Notes Comput Sci;A. Aziz,1994
3. Lect Notes Comput Sci;A. Aziz,1994
4. M.C. Browne, E.M. Clarke, and O. Grumberg. Characterizing finite Kripke structures in propositional temporal logic. Journal of Theoretical Computer Science, 59:115–131, 1988.
5. Lect Notes Comput Sci;A. Bouajjani,1991
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Overview of SPIN in Software Model Checking;2021 IEEE Sixth International Conference on Data Science in Cyberspace (DSC);2021-10
2. αSPIN: A tool for abstract model checking;International Journal on Software Tools for Technology Transfer;2004-03