D
David Hansel
Researcher at Technische Universität München
Publications - 2
Citations - 355
David Hansel is an academic researcher from Technische Universität München. The author has an hindex of 2, co-authored 2 publications receiving 347 citations.
Papers
More filters
Book ChapterDOI
Efficient Algorithms for Model Checking Pushdown Systems
TL;DR: In this paper, the authors study model checking problems for pushdown systems and linear time logics and show that the global model checking problem (computing the set of configurations, reachable or not, that violate the formula) can be solved in O(n) time and N(n 2 ) space, where n 2 is the size of the pushdown system and n is the number of control states.
Journal Article
Efficient algorithms for model checking pushdown systems
TL;DR: The global model checking problem for reachable configurations can be solved in time and space in the case of pushdown systems with constant number of control states.