D-finder: A tool for compositional deadlock detection and verification
Bensalem, Saddek; Bozga, Marius; Nguyen, Thanh-Hung; Sifakis, Joseph
2009

Files

Abstract

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. © 2009 Springer Berlin Heidelberg.

Details

Title D-finder: A tool for compositional deadlock detection and verification
Author(s) Bensalem, Saddek ; Bozga, Marius ; Nguyen, Thanh-Hung ; Sifakis, Joseph
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Conference CAV, Grenoble, France
Date 2009
DOI https://doi.org/10.1007/978-3-642-02658-4_45
Laboratories RISD
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > RISD - Rigorous System Design Laboratory
Peer-reviewed publications
Work outside EPFL
Conference Papers
Published
Record creation date 2013-03-14

Actions

Preview