Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.

Sylvia Grewe, Sebastian Erdweg, Mira Mezini

Browse the full CADE paper archive.