Communication Dans Un Congrès Année : 2009

Observation Graph implementation for TINA toolbox

Rodrigo Tacla Saad
  • Fonction : Auteur
  • PersonId : 872499
François Vernadat
Bernard Berthomieu
Silvano Dal Zilio

Résumé

Model Checking is a formal technique for the verification of finite systems. However, it is well known that this technique suffers from the state explosion problem. We describe work in progress to implement in the TINA toolbox an enumerative variant of a state based observation graph algorithm defined by Klai and Poitrenaud.

Fichier principal
Vignette du fichier
FormalAnalysis_3.pdf (337.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00380671 , version 1 (12-05-2009)

Licence

Identifiants

  • HAL Id : hal-00380671 , version 1

Citer

Rodrigo Tacla Saad, François Vernadat, Bernard Berthomieu, Silvano Dal Zilio. Observation Graph implementation for TINA toolbox. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p. ⟨hal-00380671⟩
668 Consultations
418 Téléchargements

Partager

  • More