D-Finder verktyg implementerar en kompositionsmetod för verifiering av komponentbaserade system som beskrivs i BIP språk som omfattar flerpartsinteraktion. För detektering av dödläge tillämpar D-Finder bevisstrategier för att eliminera potentiella dödlägen genom att beräkna allt starkare invarianter.
D-Finder REF är ett automatiserat verifieringsverktyg för kontroll av invarianter på system som beskrivs på BIP-språket.
D-Finder: A Tool for Compositional Deadlock Detection and Verification
{'venue': 'Lecture Notes in Computer Science', 'journal': 'Lecture Notes in Computer Science', 'mag_field_of_study': ['Computer Science']}