IF: A Validation Environment for Timed Asynchronous Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

IF: A Validation Environment for Timed Asynchronous Systems

Marius Bozga
Constantin Lucian Ghirvu
  • Fonction : Auteur
Susanne Graf
Krimm Jean Pierre
  • Fonction : Auteur
Laurent Mounier
  • Fonction : Auteur
  • PersonId : 858856

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.
Fichier principal
Vignette du fichier
90.pdf (189.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00369415 , version 1 (19-03-2009)

Identifiants

Citer

Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu, Susanne Graf, Krimm Jean Pierre, et al.. IF: A Validation Environment for Timed Asynchronous Systems. Computer Aided Verification 12th International Conference, CAV 2000, Jul 2000, Chicago IL, United States. pp.543-547, ⟨10.1007/10722167⟩. ⟨hal-00369415⟩
137 Consultations
209 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More