COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES

DOI10.1142/S0129054110007179zbMath1198.68168MaRDI QIDQ3552516

Bow-Yaw Wang, Geng-Dian Huang

Publication date: 22 April 2010

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

model checkingSATcontext-free processes

Mathematics Subject Classification ID

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

Uses Software

• MiniSat

Cites Work

• The theory of ends, pushdown automata, and second-order logic
• Pushdown processes: Games and model-checking
• Unnamed Item
• Unnamed Item

This page was built for publication: COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES