Model-Checking LTL with Regular Valuations for Pushdown Systems (2002)
Cached
Download Links
by
Javier Esparza
,
Antonin Kucera
,
Stefan Schwoon
| Citations: | 50 - 9 self |
BibTeX
@MISC{Esparza02model-checkingltl,
author = {Javier Esparza and Antonin Kucera and Stefan Schwoon},
title = {Model-Checking LTL with Regular Valuations for Pushdown Systems},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Recent works have proposed... In this paper we consider LTL with regular valuations: the set of configurations satisfying an atomic proposition can be an arbitrary regular language. The model-checking problem is solved via two different techniques, with an eye on efficiency. The resulting algorithms are polynomial in certain measures of the...
