loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE International Symposium on Network Computing and Applications (NCA'01)
Automated Validation of Distributed Software Using the IF Environment
Cambridge, Massachusette
October 08-October 10
ISBN: 0-7695-1432-4
ASCII Text
x 
 
Marius Bozga, Susanne Graf, Laurent Mounier, "Automated Validation of Distributed Software Using the IF Environment," Network Computing and Applications, IEEE International Symposium on, pp. 0268, IEEE International Symposium on Network Computing and Applications (NCA'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/NCA.2001.962542,
author = {Marius Bozga and Susanne Graf and Laurent Mounier},
title = {Automated Validation of Distributed Software Using the IF Environment},
journal ={Network Computing and Applications, IEEE International Symposium on},
volume = {0},
year = {2001},
isbn = {0-7695-1432-4},
pages = {0268},
doi = {http://doi.ieeecomputersociety.org/10.1109/NCA.2001.962542},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Network Computing and Applications, IEEE International Symposium on
TI - Automated Validation of Distributed Software Using the IF Environment
SN - 0-7695-1432-4
SP
EP
A1 - Marius Bozga,
A1 - Susanne Graf,
A1 - Laurent Mounier,
PY - 2001
KW - formal specifications
KW - protocol verification
KW - static analysis
KW - model-checking
KW - verification tools
VL - 0
JA - Network Computing and Applications, IEEE International Symposium on
ER -
 
Marius Bozga, VERIMAG
Susanne Graf, VERIMAG
Laurent Mounier, VERIMAG
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.
Index Terms:
formal specifications, protocol verification, static analysis, model-checking, verification tools
Citation:
Marius Bozga, Susanne Graf, Laurent Mounier, "Automated Validation of Distributed Software Using the IF Environment," nca, pp.0268, IEEE International Symposium on Network Computing and Applications (NCA'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.