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.
D-Finder REF is an automated verification tool for checking invariants on systems described in the BIP language.
D-Finder: A Tool for Compositional Deadlock Detection and Verification
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Computer Science