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).
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...