libDMC: a library to Operate Efficient Distributed Model Checking - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

libDMC: a library to Operate Efficient Distributed Model Checking

Fabrice Kordon
Yann Thierry-Mieg

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 time and memory complexity, due to the so-called state space explosion problem. We present a generic multithreaded and distributed infrastructure library designed to allow distribution 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 distributed. Performance evaluations are reported and clearly show the advantages of multi-threading to occupy processors while waiting for the network, with linear speedup over the number of processors.

Domains

Other [cs.OH]
No file

Dates and versions

hal-00687573 , version 1 (13-04-2012)

Identifiers

Cite

Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg. libDMC: a library to Operate Efficient Distributed Model Checking. Workshop on Performance Optimization for High-Level Languages and Libraries - associated to IPDPS'2007, Mar 2007, Long Beach, California, United States. ⟨10.1109/IPDPS.2007.370647⟩. ⟨hal-00687573⟩
144 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More