Abstract
IF [3,7] is an open validation platform for asynchronous timed systems developed at Verimag during the last 5 years.
The toolbox is built upon a specification language based on communicating extended timed automata supporting various communication primitives and dynamic process creation and destruction. This language is expressive enough to represent most useful concepts of modeling and programming languages for distributed systems (like SDL, UML, Java, ...)
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bozga, M., Fernandez, J.C., Ghirvu, L., Graf, S., Krimm, J.P., Mounier, L., Sifakis, J.: IF: An Intermediate Representation for SDL and its Applications. In: Dssouli, R., Bochmann, G., Lahav, Y. (eds.) Proceedings of SDL FORUM 1999, Montreal, Canada, June 1999, pp. 423–440. Elsevier, Amsterdam (1999)
Bozga, M., Graf, S., Mounier, L.: Automated Validation of Distributed Software using the IF Environment. In: Workshop on Software Model-Checking, July 2001. vol. 55, TCS (2001)
Bozga, M., Graf, S., Mounier, L.: If-2.0: A validation environment for componentbased real-time systems. In: Larsen Ed Brinksma, K.G. (ed.) CAV 2002. LNCS, vol. 2404, pp. 343–348. Springer, Heidelberg (2002)
Bozga, M., Lesens, D., Mounier, L.: Model-Checking Ariane-5 Flight Program. In: Proceedings of FMICS 2001, Paris, France, pp. 211–227. INRIA (2001)
Graf, S., Jia, G.: Verification Experiments on the Mascara Protocol. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol. 2057, p. 123. Springer, Heidelberg (2001) ISBN 3-540-42124-6
Ober, I., Graf, S., Ober, I.: Validating timed uml models by simulation and verification. In: Proceedings of the SVERTS 2003 Workshop (satellite of UML 2003 Conference), San Francisco, California (2003)
VERIMAG/DCS. If web page, http://www.verimag.imag.fr/~async/IF
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bozga, M., Graf, S., Mounier, L., Ober, I. (2004). IF Validation Environment Tutorial. In: Graf, S., Mounier, L. (eds) Model Checking Software. SPIN 2004. Lecture Notes in Computer Science, vol 2989. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24732-6_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-24732-6_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21314-7
Online ISBN: 978-3-540-24732-6
eBook Packages: Springer Book Archive