Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

Sylvia Grewe, Sebastian Erdweg, Mira Mezini. Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. In Laura Kovács, Andrei Voronkov, editors, Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. Volume 44 of EPiC Series in Computing, pages 33-45, EasyChair, 2016. [doi]

No reviews for this publication, yet.