Search
 
loader loading subjects...
cover
Model-Based Verification and Analysis for Real-Time Systems
Uli Fahrenberg, Kim G. Larsen, Claus Thrane
231 - 259
10.3233/978-1-60750-711-6-231
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 30: Software and Systems Safety
Abstract

This article aims at providing a concise and precise Traveler's Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. 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.

$35.00 / €27.50 / £22.00
Add PDF to cart