Author:
Basler Gérard,Kroening Daniel,Weissenbacher Georg
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;T. Ball,2000
2. Lecture Notes in Computer Science;T. Ball,2004
3. Sharir, M., Pnueli, A.: Two approaches to interprocedural dataflow analysis. In: Program Flow Analysis: Theory and Applications, pp. 189–233. Prentice-Hall, Englewood Cliffs (1981)
4. Finkel, A., Willems, B., Wolper, P.: A direct symbolic approach to model checking pushdown systems. In: Workshop on Verification of Infinite State Systems (INFINITY). ENTCS, vol. 9, pp. 27–39 (1997)
5. Lecture Notes in Computer Science;J. Esparza,2000
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Satisfiability Modulo Recursive Programs;Static Analysis;2011
2. LTL Model Checking for Recursive Programs;Automated Technology for Verification and Analysis;2009