TU Darmstadt / ULB / TUbiblio

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Kovacs, Laura and Voronkov, Andrei (eds.) :

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
[Online-Edition: http://easychair.org/publications/paper/Automating_Proof_Ste...]
In: Vampire 2016. Proceedings of the 3rd Vampire Workshop. EPiC Series in Computing, 44. , pp. 33-45.
[Book Section] , (2017)

Official URL: http://easychair.org/publications/paper/Automating_Proof_Ste...
Item Type: Book Section
Erschienen: 2017
Editors: Kovacs, Laura and Voronkov, Andrei
Creators: Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Title: Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
Language: English
Title of Book: Vampire 2016. Proceedings of the 3rd Vampire Workshop
Series Name: EPiC Series in Computing
Volume: 44
Divisions: Department of Computer Science > Software Technology
Department of Computer Science
Date Deposited: 18 Apr 2017 08:52
Official URL: http://easychair.org/publications/paper/Automating_Proof_Ste...
Projects: ERC 321217
Export:

Optionen (nur für Redakteure)

View Item View Item