D-finder 2: Towards efficient correctness of incremental designReportar como inadecuado




D-finder 2: Towards efficient correctness of incremental design - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Presented at: NASA Formal Methods, Pasadena, CA, United states Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Publication date: 2011

D-Finder 2 is a new tool for deadlock detection in concurrent systems based on effective invariant computation to approximate the effects of interactions among modules. It is part of the BIP framework, which provides various tools centered on a component-based language for incremental design. The presented tool shares its theoretical roots with a previous implementation, but was completely rewritten to take advantage of a new version of BIP and various new results on the theory of invariant computation. The improvements are demonstrated by comparison with previous work and reports on new results on a practical case study. © 2011 Springer-Verlag.

Keywords: Computation theory ; NASA Reference EPFL-CONF-185011doi:10.1007/978-3-642-20398-5_32





Autor: Bensalem, Saddek; Griesmayer, Andreas; Legay, Axel; Nguyen, Thanh-Hung; Sifakis, Joseph; Yan, Rongjie

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







Documentos relacionados