Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

Fahrenberg, Uli;Larsen Kim, Guldstrand;Legay, Axel
(2013) ICTAC (August.2013)

Files

No attached file found for this publication.

Details

Authors
  • Fahrenberg, Uli
    Author
  • Larsen Kim, Guldstrand
    Author
  • Legay, AxelUCLouvain
    Author
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 [8, 9]. 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, the existence of winning strategies, and then statistical model checking.

Citations

  • APA
  • Chicago
  • FWB

Fahrenberg, U., Larsen Kim, G., & Legay, A. (2013). Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. Lecture Notes in Computer Science Unifying Theories of Programming and Formal Engineering Methods. ICTAC. https://doi.org/10.1007/978-3-642-39721-9_2