Ecient algorithms for model checking pushdown systems
| Author(s) : | Peter Rossmanith David Hansel Javier Esparza Stefan Schwoon, |
| Publisher : | N/A |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | 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 congurations, reachable or not, that violate the formula) can be solved in O(gP 3, |