D-finder: A tool for compositional deadlock detection and verificationReportar como inadecuado




D-finder: A tool for compositional deadlock detection and verification - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Presented at: CAV, Grenoble, France Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Publication date: 2009

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.

Reference EPFL-CONF-185009doi:10.1007/978-3-642-02658-4_45





Autor: Bensalem, Saddek; Bozga, Marius; Nguyen, Thanh-Hung; Sifakis, Joseph

Fuente: https://infoscience.epfl.ch/record/185009?ln=en







Documentos relacionados