Author:
Basu Samik,Roop Partha S,Sinha Roopak
Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. Girish Bhat, Rance Cleaveland, and Orna Grumberg. Efficient on-the-fly model checking for CTL*. In Proceedings of the Tenth Annual Symposium on Logic in Computer Science, pages 388–397, June 1995
2. R. Cavada, Alessandro Cimatt, E. Olivetti, M. Pistore, and M. Roveri. NuSMV 2.1 User Manual, June 2003
3. Model Checking;Clarke,2000
4. Tableau-based model checking in the propositional mu-calculus;Cleaveland;Acta Informatica,1990
5. Matthew B. Dwyer and Corina S. Pasareanu. Filter-based model checking of partial systems. In Foundations of Software Engineering, pages 189–202, 1998
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enforcement FSMs;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20
2. On the Complexity of ATL and ATL* Module Checking;Electronic Proceedings in Theoretical Computer Science;2017-09-06
3. Module Checking for Uncertain Agents;PRIMA 2015: Principles and Practice of Multi-Agent Systems;2015
4. Automatic Verification Using Model and Module Checking;Correct-by-Construction Approaches for SoC Design;2013-07-19