Marius Bozga, Susanne Graf, Laurent Mounier. Automated validation of distributed software using the IF environment. In Workshop on Software Model-checking, associated with CAV 2001, Paris, Scott D. Stoller, Willem Visser (eds.), Electronic Notes in Theoretical Computer Science, Volume 55, July 2001.
Download paper: Adobe portable document (pdf)
Copyright notice:
This paper summarizes our experience with IF, an open validation environment for distributed software systems. Indeed, face to the increasing complexity of such systems, none of the existing tools can cover by itself the whole validation process. The IF environment was built upon an expressive intermediate language and allows to connect several validation tools, providing most of the advanced techniques currently available. The results obtained on several large case-studies, including telecommunication protocols and embedded software systems, confirm the practical interest of this approach
[ Model-based verification techniques ]
@InProceedings{Bozga-Graf-Mounier-01,
Author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent},
Title = {Automated validation of distributed software using the IF environment},
BookTitle = {Workshop on Software Model-checking, associated with CAV 2001, Paris},
editor = {D. Stoller, Scott and Visser, Willem},
Volume = {55},
Number = {3},
Series = {Electronic Notes in Theoretical Computer Science},
Publisher = {Elsevier Science Publishers},
Month = {July},
Year = {2001}
}
Get EndNote Reference (.ref)