Contributions on Formal Methods for Timed and Probabilistic Systems - Archive ouverte HAL Accéder directement au contenu
Hdr Année : 2023

Contributions on Formal Methods for Timed and Probabilistic Systems

Résumé

Formal methods is an umbrella term for rigorous techniques for specifying and verifying computer systems, or building such systems with mathematical guarantees on their correctness, or on the absence of bugs of a given kind. Model checking is a set of techniques that can formally prove properties of a given model; while controller synthesis consists, using similar techniques, in completing the decription of an open system to ensure a given property by construction. One of the targets of formal methods is systems with quantitative aspects such as real-time constraints and probabilities. In this thesis I summarize my contributions on algorithms for model checking and controller synthesis on timed and probabilistic systems, focusing on timed automaton and Markov decision process formalisms.
Fichier principal
Vignette du fichier
main.pdf (847.5 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-04310389 , version 1 (28-11-2023)

Licence

Paternité

Identifiants

  • HAL Id : tel-04310389 , version 1

Citer

Ocan Sankur. Contributions on Formal Methods for Timed and Probabilistic Systems. Computer Science [cs]. Université de Rennes, 2023. ⟨tel-04310389⟩
31 Consultations
63 Téléchargements

Partager

Gmail Facebook X LinkedIn More