Verification of Programs by Combining Iterated Specialization with Interpolation

Tools:

Benchmark set