IF: A validation environment for timed asynchronous systems

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

Volumn 1855, Issue , 2000, Pages 543-547

  Bozga, Marius ^a   Fernandez, Jean Claude ^b   Ghirvu, Lucian ^a   Graf, Susanne ^a   Krimm, Jean Pierre ^a   Mounier, Laurent ^a  

^a VERIMAG   (France)

^b LSR IMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84944404747     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722167_41     Document Type: Conference Paper

References (22)

1. Telelogic AB. SDT Reference Manual. http://www.telelogic.se.
2. S. Bensalem, Y. Lakhnech, and S. Owre. Computing Abstractions of Infinite State Systems Compositionally and Automatically. In Proceedings of CAV'98, vol. 1427 of LNCS, p. 319-331. Springer, June 1998.
3. S. Bornot, J. Sifakis, and S. Tripakis. Modeling Urgency in Timed Systems. In International Symposium: Compositionality - The Significant Diffierence, vol. 1536 of LNCS. Springer, September 1997.
4. D. Bosnacki, D. Dams, L. Holenderski, and N. Sidorova. Model Checking SDL with Spin. In Proceedings of TACAS'2000, vol. 1785 of LNCS, p. 363-377. March 2000.
5. M. Bozga, J.Cl. Fernandez, and L. Ghirvu. State Space Reduction based on Live Va- riables Analysis. In Proceedings of SAS'99, vol. 1694 of LNCS, p. 164-178. Springer, September 1999.
6. M. Bozga, J.Cl. Fernandez, and L. Ghirvu. Using Static Analysis to Improve Auto- matic Test Generation. In Proceedings of TACAS'00, vol. 1785 in LNCS, p. 235-250. March 2000.
7. M. Bozga, J.Cl. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier. IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. In Proceedings of FM'99, vol. 1708 of LNCS, p. 307-327. September 1999.
8. M. Bozga, J. Cl. Fernandez, L. Ghirvu, C. Jard, T. Jèron, A. Kerbrat, P. Morel, and L. Mounier. Verification and Test Generation for the SSCOP Protocol. Journal of Science of Computer Programming, Special Isssue on Formal Methods in Industry, 36(1):27-52, January 2000.
9. J.Cl. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP: A Protocol Validation and Verification Toolbox. In Proceedings of CAV'96, vol. 1102 of LNCS, p. 437-440. Springer, August 1996.
10. J.Cl. Fernandez, C. Jard, T. Jèron, and C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Science of Computer Programming, 29, 1997.
11. H. Garavel. OPEN/C_SAR: An Open Software Architecture for Verification, Si- mulation, and Testing. In Proceedings of TACAS'98, vol. 1384 of LNCS, p. 68-84. March 1998.
12. T.H. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: A Model Checker for Hybrid Systems. In Proceedings of CAV'97, vol. 1254 of LNCS, p. 460-463. June 1997.
13. Gerard J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall Software Series, 1991.
14. I-Logix. StateMate. http://www.ilogix.com/.
15. ISO/IEC. LOTOS | A Formal Description Technique Based on the Temporal Or- dering of Observational Behaviour. Technical Report 8807, ISO/OSI, 1988.
16. ITU-T. Recommendation Z.100. Specification and Description Language (SDL). Technical Report Z-100, International Telecommunication Union - Standardization Sector, Genève, 1994.
17. J.P. Krimm and L. Mounier. Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. In Proceedings of TA- CAS'2000, vol. 1785 of LNCS, p. 266-282. March 2000.
18. K.G. Larsen, P. Petterson, and W. Yi. UPPAAL: Status & Developments. In Proceedings of CAV'97, vol. 1254 of LNCS, p. 456-459. June 1997.
19. K.L. McMillan. Symbolic Model Checking: an Approach to the State Explosion Problem. Kluwer Academic Publisher, 1993.
20. Verilog. ObjectGEODE Reference Manual. http://www.verilogusa.com/.
21. M. Weiser. Program Slicing. IEEE Transactions on Software Engineering, SE-10(4), July 1984.
22. S. Yovine. KRONOS: A Verification Tool for Real-Time Systems. Software Tools for Technology Transfer, 1(1+2):123-133, December 1997.