Directed Model Checking with Distance−Preserving Abstractions
Klaus Dräger‚ Bernd Finkbeiner and Andreas Podelski
Address
Berlin Heidelberg
Book Title
Proceedings of the 13th International SPIN Workshop on Model Checking Software
Editor
Antti Valmari
Pages
19−36
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
3925
Year
2006