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.
Cite
CITATION STYLE
Bensalem, S., Bozga, M., Nguyen, T. H., & Sifakis, J. (2009). D-finder: A tool for compositional deadlock detection and verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5643 LNCS, pp. 614–619). Springer Verlag. https://doi.org/10.1007/978-3-642-02658-4_45
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
