Improving Pushdown System Model Checking
Show full item record
File(s):
- Author(s)
-
Lal, Akash; Reps, Thomas
- Publisher
- University of Wisconsin-Madison Department of Computer Sciences
- Citation
- TR1552
- Date
- 2006
- Abstract
- In this paper, we reduce pushdown system (PDS) model checking to a graph-theoretic problem, and apply a fast graph algorithm to improve the running time for model checking. We use \textit{weighted} PDSs as a generalized setting for PDS model checking, and show how various PDS model checkers can be encoded using weighted PDSs. We also give algorithms for witness tracing, differential propagation, and incremental analysis, each of which benefits from the fast graph-based algorithm.
- Permanent link
-
http://digital.library.wisc.edu/1793/60484
- Export
-
Export to RefWorks
Part of
Show full item record
