Counterexample-preserving reduction for symbolic model checking

DOI10.1155/2014/702165zbMath1442.68110OpenAlexW2120106872WikidataQ59054119 ScholiaQ59054119MaRDI QIDQ2336646

Ji Wang, Wanwei Liu, Wei Dong, Xianjin Fu, Rui Wang, Xiaoguang Mao

Publication date: 19 November 2019

Published in: Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2014/702165

Mathematics Subject Classification ID

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

Cites Work

• Theoretical aspects of computing -- ICTAC 2013. 10th international colloquium, Shanghai, China, September 4--6, 2013. Proceedings
• Symbolic model checking: \(10^{20}\) states and beyond
• Understanding IC3
• SAT-Based Model Checking without Unrolling
• Linear Encodings of Bounded LTL Model Checking
• Formal Methods in Computer-Aided Design
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Counterexample-preserving reduction for symbolic model checking