Debugging Program Verification Proof Scripts (Tool Paper)

Bernhard Beckert, Sarah Grebing, and Alexander Weigl

Interactive program verification is characterized by iterations of unfinished proof attempts. To support the process of constructing a complete proof, many interactive program veri…