Ariadne: Hybridizing Directed Model Checking and Static Analysis

2017 ◽  
Author(s):  
Reed Milewicz ◽  
Peter Pirkelbauer
Keyword(s):  
Model Checking ◽  
Static Analysis ◽  
Directed Model Checking

scholarly journals A Suite of Monitoring Tools for Erlang

10.29007/7lrd ◽  
2018 ◽  
Author(s):  
Ian Cassar ◽  
Adrian Francalanza ◽  
Duncan Attard ◽  
Luca Aceto ◽  
Anna Ingolfsdottir
Keyword(s):  
Model Checking ◽  
Static Analysis ◽  
Concurrent Systems ◽  
Runtime Monitoring ◽  
State Explosion ◽  
Monitoring Techniques ◽  
Monitoring Tools ◽  
Run Time ◽  
Verification Techniques

Ensuring formal correctness for actor-based, concurrent systems is a difficult task, pri- marily because exhaustive, static analysis verification techniques such as model checking quickly run into state-explosion problems. Runtime monitoring techniques such as Run- time Verification and Adaptation circumvent this limitation by verifying the correctness of a program by dynamically analysing its executions. This paper gives an overview of a suite of monitoring tools available for verifying and adapting actor-based Erlang programs.

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
Sign in / Sign up

Export Citation Format

Share Document