From Timed Automata to Logic -- and Back (1995)
by
Francois Laroussinie
,
Kim G. Larsen
,
Carsten Weise
| Venue: | MFCS’95, LNCS 969 |
| Citations: | 48 - 6 self |
BibTeX
@INPROCEEDINGS{Laroussinie95fromtimed,
author = {Francois Laroussinie and Kim G. Larsen and Carsten Weise},
title = {From Timed Automata to Logic -- and Back},
booktitle = { MFCS’95, LNCS 969},
year = {1995},
pages = {529--539},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
One of the most successful techniques for automatic verification is that of model checking. For finite automata there exist since long extremely efficient model-checking algorithms, and in the last few years these algorithms have been made applicable to the verification of real-time automata using the region-techniques of Alur and Dill. In this
