Making Abstraction-Refinement Efficient in Model Checking

DOI10.1007/978-3-642-22685-4_36zbMath1353.68182arXiv1007.3569OpenAlexW1680791603MaRDI QIDQ3087967

Cong Tian, Zhenhua Duan

Publication date: 17 August 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

This page was built for publication: Making Abstraction-Refinement Efficient in Model Checking