D-finder: A tool for compositional deadlock detection and verification
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.
Record created on 2013-03-14, modified on 2016-08-09