Improving Pushdown System Model Checking

DOI10.1007/11817963_32zbMath1188.68195OpenAlexW1591136029MaRDI QIDQ5756743

Akash Lal, Thomas W. Reps

Publication date: 5 September 2007

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11817963_32

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Graph algorithms (graph-theoretic aspects) (05C85)

Related Items (5)

Summarization for termination: No return! ⋮ Solving Multiple Dataflow Queries Using WPDSs ⋮ Context-sensitive analysis without calling-context ⋮ Compositional verification of sequential programs with procedures ⋮ Program Analysis Using Weighted Pushdown Systems

This page was built for publication: Improving Pushdown System Model Checking