Lazy slicing for state-space exploration
From MaRDI portal
Publication:2637297
DOI10.1007/s11390-012-1271-7zbMath1280.68123MaRDI QIDQ2637297
Tao Zhang, Zhiyuan Chen, Shao-bin Huang, Hong-Tao Huang, Tian-Yang Lv
Publication date: 11 February 2014
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11390-012-1271-7
local refinement; counterexample-guided abstraction refinement; lazy slicing; over-approximate slicing; spurious counterexample
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software