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.
Loading...
Name
cav-09-DFinder.pdf
Access type
openaccess
Size
303.8 KB
Format
Adobe PDF
Checksum (MD5)
afd9c837a58a6a911e8231355c27a5a5