I/O Efficient Directed Model Checking

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-30579-8_21 ◽

2005 ◽

pp. 313-329 ◽

Author(s):

Shahid Jabbar ◽

Stefan Edelkamp

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Survey on Directed Model Checking

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00431-5_5 ◽

2009 ◽

pp. 65-89 ◽

Author(s):

Stefan Edelkamp ◽

Viktor Schuppan ◽

Dragan Bošnački ◽

Anton Wijs ◽

Ansgar Fehnker ◽

...

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Directed Model Checking for PROMELA with Relaxation-Based Distance Functions

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23404-5_11 ◽

2015 ◽

pp. 153-159 ◽

Author(s):

Ahmad Siyar Andisha ◽

Martin Wehrle ◽

Bernd Westphal

Keyword(s):

Model Checking ◽

Distance Functions ◽

Directed Model Checking

Download Full-text

Action Planning for Directed Model Checking of Petri Nets

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2005.07.023 ◽

2006 ◽

Vol 149 (2) ◽

pp. 3-18 ◽

Author(s):

Stefan Edelkamp ◽

Shahid Jabbar

Keyword(s):

Model Checking ◽

Action Planning ◽

Directed Model Checking

Download Full-text

Directed model checking with distance-preserving abstractions

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-008-0092-z ◽

2008 ◽

Vol 11 (1) ◽

pp. 27-37 ◽

Author(s):

Klaus Dräger ◽

Bernd Finkbeiner ◽

Andreas Podelski

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Transition-Based Directed Model Checking

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00768-2_19 ◽

2009 ◽

pp. 186-200 ◽

Author(s):

Martin Wehrle ◽

Sebastian Kupferschmid ◽

Andreas Podelski

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Large-Scale Directed Model Checking LTL

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11691617_1 ◽

2006 ◽

pp. 1-18 ◽

Author(s):

Stefan Edelkamp ◽

Shahid Jabbar

Keyword(s):

Model Checking ◽

Large Scale ◽

Directed Model Checking

Download Full-text

The Causal Graph Revisited for Directed Model Checking

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03237-0_8 ◽

2009 ◽

pp. 86-101 ◽

Author(s):

Martin Wehrle ◽

Malte Helmert

Keyword(s):

Model Checking ◽

Causal Graph ◽

Directed Model Checking

Download Full-text

Parallel External Directed Model Checking with Linear I/O

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/11609773_16 ◽

2005 ◽

pp. 237-251 ◽

Author(s):

Shahid Jabbar ◽

Stefan Edelkamp

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Abstract reduction in directed model checking CCS processes

Acta Informatica ◽

10.1007/s00236-012-0161-3 ◽

2012 ◽

Vol 49 (5) ◽

pp. 313-341 ◽

Author(s):

Antonella Santone ◽

Gigliola Vaglini

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Adapting an AI Planning Heuristic for Directed Model Checking

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11691617_3 ◽

2006 ◽

pp. 35-52 ◽

Author(s):

Sebastian Kupferschmid ◽

Jörg Hoffmann ◽

Henning Dierks ◽

Gerd Behrmann

Keyword(s):

Model Checking ◽

Ai Planning ◽

Directed Model Checking

Download Full-text