Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Book sections

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.
Complete list of metadata

Cited literature [66 references]  Display  Hide  Download
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Thursday, November 27, 2014 - 11:45:58 AM
Last modification on : Wednesday, February 2, 2022 - 3:50:38 PM
Long-term archiving on: : Friday, April 14, 2017 - 10:10:45 PM


Files produced by the author(s)


  • HAL Id : hal-01088054, version 1


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⟩



Record views


Files downloads