Uppaal/DMC - Abstraction-based Heuristics for Directed Model Checking

BIB
Kupferschmid, Sebastian and Dräger, Klaus and Hoffmann, Jörg and Finkbeiner, Bernd and Henning Dierks and Aandreas Podelski and Gerd Behrmann
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
01 / 2007
978-3-540-71208-4
inproceedings
Springer-Verlag
Lecture Notes in Computer Science 4424
679-682
Springer-Verlag