Model Checking Real-Time Systems - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2018

Model Checking Real-Time Systems

Résumé

This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about several recent extensions (namely weighted timed automata and timed games).
Fichier principal
Vignette du fichier
hmc2018-BFLMOW.pdf (585.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01889280 , version 1 (08-10-2018)

Identifiants

Citer

Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Joël Ouaknine, et al.. Model Checking Real-Time Systems. Handbook of model checking, Springer-Verlag, pp.1001-1046, 2018, 978-3-319-10574-1. ⟨10.1007/978-3-319-10575-8_29⟩. ⟨hal-01889280⟩
263 Consultations
776 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More