 |
|
|
|
| HAL : hal-00380671, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| 12th European Workshop on Dependable Computing, EWDC 2009, Toulouse : France (2009) |
|
|
|
|
| Observation Graph implementation for TINA toolbox |
|
|
| Rodrigo Tacla Saad 1François Vernadat 1 |
|
|
| (14/05/2009) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'analyse et d'architecture des systèmes (LAAS) |
|
|
|
CNRS : UPR8001 – Université Paul Sabatier - Toulouse III – Institut National Polytechnique de Toulouse - INPT – Institut National des Sciences Appliquées de Toulouse |
|
|
|
|
|
|
|
|
|
| OLC |
|
|
|
|
| Domaine | : | Informatique/Génie logiciel |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00380671, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00380671 | |
| oai:hal.archives-ouvertes.fr:hal-00380671 | |
| Contributeur : Anne Bergez | |
| Soumis le : Mardi 12 Mai 2009, 11:13:16 | |
| Dernière modification le : Lundi 18 Mai 2009, 14:09:20 | |
