Skip to Main content Skip to Navigation
Theses

Vers un Model Checking avec accélération plate des systèmes hétérogènes

Abstract : We are interested here in formal verification of systems. More exactly we want to compute the reachability set of automata extended with unbounded variables. Even though this set is not recursive in general, acceleration techniques allow to compute it often in practice. However these methods are not yet well known. We are interested in this thesis in the study of acceleration, from theoretical, algorithmic and implementation aspects.
Complete list of metadatas

Cited literature [68 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00131834
Contributor : Ens Cachan Bibliothèque <>
Submitted on : Monday, February 19, 2007 - 3:18:11 PM
Last modification on : Monday, February 15, 2021 - 10:40:23 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 9:19:35 PM

Identifiers

  • HAL Id : tel-00131834, version 1

Collections

Citation

Sébastien Bardin. Vers un Model Checking avec accélération plate des systèmes hétérogènes. Réseaux et télécommunications [cs.NI]. École normale supérieure de Cachan - ENS Cachan, 2005. Français. ⟨tel-00131834⟩

Share

Metrics

Record views

357

Files downloads

221