D-Finder: A Tool for Compositional Deadlock Detection and Verification

Saddek Bensalem (1) , Marius Bozga (1) , Thanh-Hung Nguyen (1) , Joseph Sifakis (1)

1 VERIMAG - IMAG - VERIMAG

D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detection, D-Finder applies proof strategies to eliminate potential deadlocks by computing increasingly stronger invariants.

Domaines: Systèmes embarqués

Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis. D-Finder: A Tool for Compositional Deadlock Detection and Verification. Computer Aided Verification, 21st International Conference, CAV 2009, Jun 2009, Grenoble, France. pp.614-619, ⟨10.1007/978-3-642-02658-4_45⟩. ⟨hal-00722550⟩