IF-2.0: A validation environment for component-based real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2404, Issue , 2002, Pages 343-348

  Bozga, Marius ^a   Graf, Susanne ^a   Mounier, Laurent ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 72249103605     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45657-0_26     Document Type: Conference Paper

References (12)

1. K. Altisen, G. Gößler, and J. Sifakis. A Methodology for the Construction of Scheduled Systems. In Mathai Joseph, editor, Proceedings of FTRTFT 2000, number 1926 in LNCS, pages 106–120. Springer-Verlag, September 2000.
2. S. Bornot, J. Sifakis, and S. Tripakis. Modeling Urgency in Timed Systems. In International Symposium: Compositionality - The Significant Difference (Holstein, Germany), volume 1536 of LNCS. Springer, September 1997.
3. M. Bozga, J.Cl. Fernandez, L. Ghirvu, S. Graf, J. P. Krimm, and L. Mounier. IF: A Validation Environment for Timed Asynchronous Systems. In E. A. Emerson and A. P. Sistla, editors, Proceedings of CAV’00 (Chicago, USA), volume 1855 of LNCS. Springer, July 2000.
4. M. Bozga, S. Graf, and L. Mounier. Automated Validation of Distributed Software using the IF Environment. In Workshop on Software Model-Checking, volume 55. TCS, July 2001.
5. H. Garavel. OPEN/CÆSAR: An Open Software Architecture for Verification, Simulation, and Testing. In B. Steffen, editor, Proceedings of TACAS’98 (Lisbon, Portugal), volume 1384 of LNCS, pages 68–84. Springer, March 1998.
6. P. Godefroid. VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software (short paper). In Proceedings of CAV’97 (Haifa, Israel), volume 1254 of LNCS, pages 476–479. Springer, June 1997.
7. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall Software Series, http://cm.bell-labs.com/cm/cs/what/spin, 1991.
8. ITU-T. Recommendation Z.100. Specification and Description Language (SDL). Technical Report Z-100, International Telecommunication Union – Standardization Sector, Gen`eve, November 1999.
9. T. Jéron and P. Morel. Test Generation Derived from Model Checking. In N. Halbwachs and D. Peled, editors, Proceedings of CAV’99 (Trento, Italy), volume 1633 of LNCS, pages 108–122. Springer, July 1999.
10. OMG. Unified Modeling Language Specification. Technical Report OMG UML v1.3 – ad/99-06-09, Object Management Group, June 1999.
11. S. Swan. An Introduction to System-Level Modeling in Systemc 2.0. Technical report, Open SystemC Initiative, 2001.
12. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proceedings of ASE’00. IEEE Computer Society, September 2000.