IF: A Validation Environment for Timed Asynchronous Systems

If: a Validation Environment for Timed Asynchronous Systems (category B: Tool Presentation)

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems

Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu, Susanne Graf, Jean Pierre Krimm, et al.. IF: An intermediate Representation and Validation Environment for Timed Asynchronous Systems. Wing, Jeannette M.; Woodcook, Jim; Davies, Jim. FM’99 Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Sep 1999, Toulouse, France. Springer, 1708, pp.307-327,...

IF-2.0: A Validation Environment for Component-Based Real-Time Systems

It is widely recognised that the automated validation of complex systems can hardly be achieved without tool integration. The development of the IF-1.0 toolbox [3] has been initiated several years ago, in order to provide an open validation platform for timed asynchronous systems (such as telecommunication protocols or distributed applications, in general). The toolbox has been built upon an in...

IF: a validation environment for real-time UML and SDL models

IF[5, 6, 8, 10, 14] is an open validation platform for asynchronous timed systems such as telecommunication protocols or distributed applications. The toolbox is built upon a specification language based on timed automata extended with discrete data variables, various communication primitives, dynamic process creation and destruction. This language is expressive enough to represent most useful ...

Veri cation Experiments on the MASCARA Protocol?

In this paper, we describe an experiment in verifying a real industrial protocol for wireless atm, called mascara. Several tools have been used: sdl has been chosen as the speci cation language and the commercial tool Objectgeode (Telelogic) has been used for creating, maintaining and modifying sdl descriptions. The if tool-set has been used for minimization and comparison of system models and ...