D-finder: A tool for compositional deadlock detection and verificationReport as inadecuate

D-finder: A tool for compositional deadlock detection and verification - Download this document for free, or read online. Document in PDF available to download.

Presented at: CAV, Grenoble, France Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Publication date: 2009

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.

Reference EPFL-CONF-185009doi:10.1007/978-3-642-02658-4_45

Author: Bensalem, Saddek; Bozga, Marius; Nguyen, Thanh-Hung; Sifakis, Joseph

Source: https://infoscience.epfl.ch/record/185009?ln=en


Related documents