Specification and verification of quantitative properties : expressions, logics, and automata
La vérification automatique est aujourd'hui devenue un domaine central de recherche en informatique. Depuis plus de 25 ans, une riche théorie a été développée menant à de nombreux outils, à la fois académiques et industriels, permettant la vérification de propriétés booléennes - celles qui peuv...
Main Author: | Monmege, Benjamin |
---|---|
Other Authors: | Cachan, Ecole normale supérieure |
Language: | en |
Published: |
2013
|
Subjects: | |
Online Access: | http://www.theses.fr/2013DENS0039/document |
Similar Items
-
Specification and verification of quantitative properties : expressions, logics, and automata
by: Monmège, Benjamin
Published: (2013) -
Contributions to formalisms for the specification and verification of quantitative properties
by: Mazzocchi, Nicolas
Published: (2020) -
Spécification et vérification de propriétés quantitatives : expressions, logiques et automates
by: Monmege, Benjamin
Published: (2013) -
Verification of Stochastic Timed Automata
by: Carlier, Pierre
Published: (2017) -
Büchi Automata as Specifications for Reactive Systems
by: Fogarty, Seth
Published: (2013)