Abstract | ||
---|---|---|
Model checking is a formal verification technique that allows to automatically prove that a system's behavior is correct. However it is often prohibitively expensive in tim e and memory complexity, due to the so-called state space ex- plosion problem. We present a generic multi-threaded and distributed infrastructure library designed to allow dist ri- bution of the model checking procedure over a cluster of machines. This library is generic, and is designed to allow encapsulation of any model checker in order to make it dis- tributed. Performance evaluations are reported and clearl y show the advantages of multi-threading to occupy proces- sors while waiting for the network, with linear speedup over the number of processors. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/IPDPS.2007.370647 | IPDPS |
Keywords | Field | DocType |
formal verification,middleware,multithreading,distributed computing,time complexity,state space,multi threading,workstations,computer networks,computational complexity,model checking,encapsulation | Abstraction model checking,Model checking,Computer science,Parallel computing,Workstation,Time complexity,State space,Computational complexity theory,Formal verification,Distributed computing,Speedup | Conference |
Citations | PageRank | References |
2 | 0.37 | 11 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexandre Hamez | 1 | 50 | 3.61 |
Fabrice Kordon | 2 | 603 | 61.72 |
Yann Thierry-Mieg | 3 | 225 | 18.17 |