1 paper
Jakob Piribauer, Vinzent Zschuppe
Iterative abstraction refinement techniques are one of the most prominent paradigms for the analysis and verification of systems with large or infinite state spaces. This paper inv…