TU Darmstadt / ULB / TUbiblio

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Kovacs, Laura ; 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.
[Buchkapitel], (2017)

Offizielle URL: http://easychair.org/publications/paper/Automating_Proof_Ste...
Typ des Eintrags: Buchkapitel
Erschienen: 2017
Herausgeber: Kovacs, Laura ; Voronkov, Andrei
Autor(en): Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Titel: Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
Sprache: Englisch
Buchtitel: Vampire 2016. Proceedings of the 3rd Vampire Workshop
Reihe: EPiC Series in Computing
Band: 44
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Softwaretechnik
20 Fachbereich Informatik
Hinterlegungsdatum: 18 Apr 2017 08:52
Offizielle URL: http://easychair.org/publications/paper/Automating_Proof_Ste...
Projekte: ERC 321217
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen