Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Sebastian Erdweg
Publications
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
Sylvia Grewe
,
Sebastian Erdweg
and
Mira Mezini
In
:
Vampire 2016. Proceedings of the 3rd Vampire Workshop
Using Vampire in Soundness Proofs of Type Systems
Sylvia Grewe
,
Sebastian Erdweg
and
Mira Mezini
In
:
Proceedings of the 1st and 2nd Vampire Workshops
Keyphrases
automated verification
,
first-order theorem proving
,
program analysis
,
type systems
2
,
Vampire
.
Copyright © 2012-2024 easychair.org. All rights reserved.