Implication-Based Approximating Bounded Model Checking

DOI10.1007/978-3-540-75698-9_23zbMath1141.68459OpenAlexW4206322619MaRDI QIDQ3508540

Zhihong Tao, Lifu Wang, Baowen Xu, Zhen-Yu Chen

Publication date: 1 July 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-75698-9_23

zbMATH Keywords

ApproximationAbstractionImplicationBounded Model Checking

Mathematics Subject Classification ID

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

Related Items (1)

The complexity of variable minimal formulas

This page was built for publication: Implication-Based Approximating Bounded Model Checking