k-induction and witness refinement with constraint generation

Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha. k-induction and witness refinement with constraint generation. Science of Computer Programming, 200:102532, 2020. [doi]

Abstract

Abstract is missing.