Improving Pushdown System Model Checking

Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking. Several other PDS questions and techniques can be carried out in the new setting, including witness tracing and incremental analysis, each of which benefits from the fast graph-based algorithm.

• Type: Conference
• Year: 2006
• Where: CAV
• Authors: Akash Lal, Thomas W. Reps
• Keywords: CAV 2006, Fast Graph Algorithm, Fast Graph-based Algorithm, Hardware, Model Checking