Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking
Sebastian Kupferschmid‚ Klaus Dräger‚ Jörg Hoffmann‚ Bernd Finkbeiner‚ Henning Dierks‚ Andreas Podelski and Gerd Behrmann
Address
Berlin Heidelberg
Book Title
Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Editor
Orna Grumberg and Michael Huth
Pages
679–682
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
4424
Year
2007