↓Skip to main content

Observation Graph implementation for TINA toolbox

Verification Petri
Table of Contents

Rodrigo Tacla Saad, François Vernadat, Bernard Berthomieu, Silvano Dal Zilio
In EWDC 2009 — 12th European Workshop on Dependable Computing, may 2009.

conference paper

 PDF  HAL-00380671

Abstract
#

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.

Citation
#


@InProceedings{DalzilioS:ewdcobsgraph,
   author    = {{Tacla Saad}, Rodrigo and Vernadat, François and Berthomieu, Bernard and {Dal Zilio}, Silvano},
   title     = {{Observation Graph implementation for TINA toolbox}},
   booktitle = {EWDC 2009 -- 12th European Workshop on Dependable Computing},
   month     = may, 
   year      = 2009
}