Parallel External Directed Model Checking with Linear I/O

2005 ◽  
pp. 237-251 ◽  
Author(s):  
Shahid Jabbar ◽  
Stefan Edelkamp
Keyword(s):  
Model Checking ◽  
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