Author:
Distefano Dino,Katoen Joost-Pieter,Rensink Arend
Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Bardin, S., Finkel, A., Nowak, D.: Towards symbolic verification of programs handling pointers. In: AVIS 2004 (2004)
2. Barr, A.: Find the Bug in this Java Program. Addison-Wesley, Reading (2005)
3. Basin, D., Matthews, S., Vigano, L.: Labelled modal logics: quantifiers. J. of Logic, Language and Information 7(3), 237–263 (1998)
4. Lecture Notes in Computer Science;J. Berdine,2004
5. Lecture Notes in Computer Science;J. Berdine,2005
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A relational shape abstract domain;Formal Methods in System Design;2021-04-24
2. A Relational Shape Abstract Domain;Lecture Notes in Computer Science;2017
3. Using Unified Model Checking to Verify Heaps;Combinatorial Optimization and Applications;2016
4. A Local Greibach Normal Form for Hyperedge Replacement Grammars;Language and Automata Theory and Applications;2011
5. Verifying Dynamic Pointer-Manipulating Threads;Lecture Notes in Computer Science