Since 2014
The Power of Reachability Testing for Timed Automata
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
The Power of Reachability Testing for Timed Automata
|
|
| Creator |
Aceto, Luca
Bouyer, Patricia Burgueno, Augusto Larsen, Kim G. |
|
| Description |
In this paper we provide a complete characterization of the class ofproperties of (networks of) timed automata for which model checking can be reduced to reachability checking in the context of testing automata.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
1998-06-18
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19493
10.7146/brics.v5i48.19493 |
|
| Source |
BRICS Report Series; No 48 (1998): RS-48 The Power of Reachability Testing for Timed Automata
BRICS Report Series; No 48 (1998): RS-48 The Power of Reachability Testing for Timed Automata 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19493/17115
|
|
| Rights |
Copyright (c) 2014 BRICS Report Series
|
|