Paper Info
Title
Automated Validation of Distributed Software Using the IF Environment
Abstract
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.
Year
DOI
Venue
2001
10.1016/S1571-0661(04)00263-4
Electronic Notes in Theoretical Computer Science
Keywords
Field
DocType
software system,increasing complexity,existing tool,embedded software system,large case-studies,whole validation process,expressive intermediate language,advanced technique,validation tool,automated validation,open validation environment,software systems,unified modeling language,distributed software,protocols,production systems,embedded software,embedded systems,embedded system
Avionics software,Computer science,Software system,Component-based software engineering,Computer-aided software engineering,Software verification and validation,Software construction,Software development,Distributed computing,Software verification
Journal
Volume
Issue
ISSN
55
3
Electronic Notes in Theoretical Computer Science
ISBN
Citations 
PageRank 
0-7695-1432-4
14
1.00
References 
Authors
15
3
Name
Order
Citations
PageRank
Marius Bozga12100127.83
Susanne Graf240024.11
Laurent Mounier3118779.54