Skip to Main content Skip to Navigation

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 metadata

Cited literature [68 references]  Display  Hide  Download
Contributor : Ens Cachan Bibliothèque Connect in order to contact the contributor
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


  • HAL Id : tel-00131834, version 1



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⟩



Record views


Files downloads