Author:
Schrieb Jonas,Wehrheim Heike,Wonisch Daniel
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Clarke, E., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)
2. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL (1977)
3. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. In: 19th ACM POPL (1992)
4. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The Software Model Checker Blast: Applications to Software Engineering. In: STTT (2007)
5. Lecture Notes in Computer Science;T. Ball,2004
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献