Verification of Programs by Combining Iterated Specialization with Interpolation
Tools:
FTCLP
VeriMAP
Benchmark set