MINDS @ UW-Madison

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

Search and browse




About MINDS@UW

Deposit materials

  1. Register to deposit in MINDS@UW
  2. Need deposit privileges? Contact us.
  3. Already registered? Have deposit privileges? Deposit materials.