Contributions on Formal Methods for Timed and Probabilistic Systems - Archive ouverte HAL Access content directly
Habilitation À Diriger Des Recherches Year : 2023

Contributions on Formal Methods for Timed and Probabilistic Systems

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution

Identifiers

  • HAL Id : tel-04310389 , version 1

Cite

Ocan Sankur. Contributions on Formal Methods for Timed and Probabilistic Systems. Computer Science [cs]. Université de Rennes, 2023. ⟨tel-04310389⟩
16 View
40 Download

Share

Gmail Facebook X LinkedIn More