Directed Model Checking for PROMELA with Relaxation-Based Distance Functions

2015 ◽  
pp. 153-159 ◽  
Author(s):  
Ahmad Siyar Andisha ◽  
Martin Wehrle ◽  
Bernd Westphal
Keyword(s):  
Model Checking ◽  
Distance Functions ◽  
Directed Model Checking

scholarly journals Survey on Directed Model Checking

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

scholarly journals Directed model checking with distance-preserving abstractions

2008 ◽  
Vol 11 (1) ◽  
pp. 27-37 ◽  
Author(s):  
Klaus Dräger ◽  
Bernd Finkbeiner ◽  
Andreas Podelski
Keyword(s):  
Model Checking ◽  
Directed Model Checking

Abstract reduction in directed model checking CCS processes

2012 ◽  
Vol 49 (5) ◽  
pp. 313-341 ◽  
Author(s):  
Antonella Santone ◽  
Gigliola Vaglini
Keyword(s):  
Model Checking ◽  
Directed Model Checking

Adapting an AI Planning Heuristic for Directed Model Checking

2006 ◽  
pp. 35-52 ◽  
Author(s):  
Sebastian Kupferschmid ◽  
Jörg Hoffmann ◽  
Henning Dierks ◽  
Gerd Behrmann
Keyword(s):  
Model Checking ◽  
Ai Planning ◽  
Directed Model Checking
Sign in / Sign up

Export Citation Format

Share Document