Complete SAT-Based Model Checking for Context-Free Processes

DOI10.1007/978-3-540-75596-8_6MaRDI QIDQ3510785zbMATH OpenOpenAlexFDO

Authors Geng-Dian Huang, Bow-Yaw Wang

Publication date 3 July 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75596-8_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES
• scientific article; zbMATH DE number 751138
• Local model checking for context-free processes
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1500563

Cites work

• Computer Aided Verification
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1670555 (Why is no real title available?)
• scientific article; zbMATH DE number 1670780 (Why is no real title available?)
• scientific article; zbMATH DE number 446840 (Why is no real title available?)
• scientific article; zbMATH DE number 139799 (Why is no real title available?)
• scientific article; zbMATH DE number 1796143 (Why is no real title available?)
• scientific article; zbMATH DE number 751138 (Why is no real title available?)
• scientific article; zbMATH DE number 1860681 (Why is no real title available?)
• Interpolation and SAT-based model checking.
• Pushdown processes: Games and model-checking
• Reachability analysis of pushdown automata: Application to model-checking
• The theory of ends, pushdown automata, and second-order logic
• Theory and Applications of Satisfiability Testing

Cited in

(6)

• Analyzing Context-Free Grammars Using an Incremental SAT Solver
• COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES
• scientific article; zbMATH DE number 1500563 (Why is no real title available?)
• Local model checking for context-free processes
• scientific article; zbMATH DE number 751138 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: Complete SAT-Based Model Checking for Context-Free Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3510785)