Counterexample-Preserving Reduction for Symbolic Model Checking

DOI10.1007/978-3-642-39718-9_15zbMath1405.68188arXiv1301.3299OpenAlexW1552191998MaRDI QIDQ2851910

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

Publication date: 4 October 2013

Published in: Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1301.3299

Mathematics Subject Classification ID

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

This page was built for publication: Counterexample-Preserving Reduction for Symbolic Model Checking