Author:
Habermehl Peter,Iosif Radu,Vojnar Tomáš
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference25 articles.
1. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Proceedings of STOC’04. ACM Press (2004)
2. Baldan, P., Corradini, A., Esparza, J., Heindel, T., König, B., Kozioura, V.: Verifying red–black trees. In: Proceedings of COSMICAH’05 (2005)
3. Barnett, M., Rustan, K., Leino, M., Schulte, W.: The Spec# programming system: an overview. In: Proceedings of CASSIS’04. Lectures Notes in Computer Science, vol. 3362. Springer (2004)
4. Bouajjani, A., Esparza, J., Maler, O.: Reachability analysis of pushdown automata: application to model-checking. In: Proceedings of CONCUR’97. Lectures Notes in Computer Science, vol. 1243. Springer (1997)
5. Bouajjani, A., Habermehl, P., Rogalewicz, A., Vojnar, T.: Abstract regular tree model checking of complex dynamic data structures. In: Proceedings of the 13th International Symposium Static Analysis (SAS’06). Lecture Notes in Computer Science, vol. 4134, pp. 52–70. Springer (2006)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献