Partial predicate abstraction and counter-example guided refinement

Tuba Yavuz. Partial predicate abstraction and counter-example guided refinement. J. Log. Algebr. Meth. Program., 110, 2020. [doi]

Abstract

Abstract is missing.