Model-based Verification and Analysis for Real-Time Systems

Abstract : This article aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill. The paper gives comprehensive definitions of timed automata, priced (or weighted) timed automata, and timed games and highlights a number of results on associated decision problems related to model checking, equivalence checking, optimal scheduling, and the existence of winning strategies.
Type de document :
Chapitre d'ouvrage
Software and Systems Safety - Specification and Verification, pp.30, 2011
Liste complète des métadonnées

Littérature citée [66 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01088054
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 11:45:58
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : vendredi 14 avril 2017 - 22:10:45

Fichier

markto.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01088054, version 1

Citation

Uli Fahrenberg, Kim Guldstrand Larsen, Claus Thrane. Model-based Verification and Analysis for Real-Time Systems. Software and Systems Safety - Specification and Verification, pp.30, 2011. 〈hal-01088054〉

Partager

Métriques

Consultations de la notice

361

Téléchargements de fichiers

94