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

https://hal.inria.fr/hal-01088054
Contributor : Uli Fahrenberg <>
Submitted on : Thursday, November 27, 2014 - 11:45:58 AM
Last modification on : Tuesday, June 15, 2021 - 4:15:06 PM
Long-term archiving on: : Friday, April 14, 2017 - 10:10:45 PM

File

markto.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

411

Files downloads

145