IF: A Validation Environment for Timed Asynchronous Systems
Résumé
Formal validation of distributed systems relies on several specification formalisms (such as the international standards LOTOS or SDL, and it requires different kinds of tools to cover the whole development process. Presently, a wide range of tools are available, either commercial or academic ones, but none of them fulfills in itself all the practical needs. This situation motivated the development of IF, an intermediate representation for timed asynchronous systems together with an open validation environment.
Domaines
Systèmes embarqués
Origine : Fichiers produits par l'(les) auteur(s)
Loading...