Efficient algorithms for model checking pushdown systems (2000)
Cached
Download Links
- [www.informatik.uni-stuttgart.de]
- [www.informatik.uni-stuttgart.de]
- DBLP
Other Repositories/Bibliography
by
Javier Esparza
,
David Hansel
,
Peter Rossmanith
,
Stefan Schwoon
| Venue: | Proc. of CAV'2000 |
| Citations: | 123 - 20 self |
BibTeX
@INPROCEEDINGS{Esparza00efficientalgorithms,
author = {Javier Esparza and David Hansel and Peter Rossmanith and Stefan Schwoon},
title = {Efficient algorithms for model checking pushdown systems},
booktitle = {Proc. of CAV'2000},
year = {2000},
pages = {232--247},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We study model checking problems for pushdown systems and linear time logics. We show that the global model checking problem (computing the set of configurations, reachable or not, that violate the formula) can be solved in O(gP 3
