Uppaal/DMC - Abstraction-based heuristics for directed model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4424 LNCS, Issue , 2007, Pages 679-682

  Kupferschmid, Sebastian ^a   Dräger, Klaus ^b   Hoffmann, Jörg ^c   Finkbeiner, Bernd ^b   Dierks, Henning ^d   Podelski, Andreas ^a   Behrmann, Gerd ^e  

^a UNIVERSITY OF FREIBURG   (Germany)

^b SAARLAND UNIVERSITY   (Germany)

^c Semantic Technology Institute Innsbruck   (Austria)

^d OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

^e AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; MODEL CHECKING; STATE SPACE METHODS; USER INTERFACES; COMPUTATION THEORY; ERRORS; HEURISTIC ALGORITHMS;

ERROR STATE; ESTIMATION FUNCTIONS; GENERIC HEURISTICS; HEURISTIC FUNCTION; ERROR DISTANCE; ERROR-STATE; ESTIMATION FUNCTION; HEURISTIC FUNCTIONS; SEARCH METHOD; USER INPUT;

HEURISTIC METHODS; MODEL CHECKING;

EID: 37148998563     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71209-1_52     Document Type: Conference Paper

References (8)

1. Blai Bonet and Héctor Geffner. Planning as heuristic search. Artificial Intelligence, 129 (1-2):5-33, 2001.
2. Henning Dierks. Comparing model-checking and logical reasoning for real-time systems. Formal Aspects of Computing, 16(2):104-120, 2004.
3. Klaus Dräger, Bernd Finkbeiner, and Andreas Podelski. Directed model checking with distance-preserving abstractions. In Proceedings of the 13th International SPIN Workshop on Model Checking of Software, 2006.
4. Stefan Edelkamp, Alberto Lluch-Lafuente, and Stefan Leue. Directed explicit model checking with HSF-Spin. In Proceedings of the 8th International SPIN Workshop on Model Checking of Software, pages 57-79, 2001.
5. Stefan Edelkamp, Alberto Lluch-Lafuente, and Stefan Leue. Directed explicit-state model checking in the validation of communication protocols. International Journal on Software Tools for Technology Transfer, 2004.
6. Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, and Alexander Baer. The UniForM Workbench, a universal development environment for formal methods. In FM'99 -Formal Methods, volume 1709 of LNCS, pages 1186-1205. Springer, 1999.
7. Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, and Gerd Behrmann. Adapting an AI planning heuristic for directed model checking. In Proceedings of the 13th International SPIN Workshop on Model Checking of Software, 2006.
8. Judea Pearl. Heuristics: Intelligent search strategies for computer problem solving. AddisonWesley, 1984.