|
|
Vampire 2016: Author Index| Author | Papers |
|---|
| C | | Chen, Yuting | Theory-Specific Reasoning about Loops with Arrays using Vampire | | E | | Erdweg, Sebastian | Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny | | G | | Grewe, Sylvia | Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny | | K | | Kovács, Laura | Theory-Specific Reasoning about Loops with Arrays using Vampire | | L | | Lucio, Paqui | Evaluating Automated Theorem Provers Using Adimen-SUMO | | M | | Mezini, Mira | Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny | | R | | Reger, Giles | Better Proof Output for Vampire
Global Subsumption Revisited (Briefly) | | Reynolds, Andrew | Conflicts, Models and Heuristics for Quantifier Instantiation in SMT | | Rigau, German | Evaluating Automated Theorem Provers Using Adimen-SUMO | | Robillard, Simon | Theory-Specific Reasoning about Loops with Arrays using Vampire | | S | | Suda, Martin | Global Subsumption Revisited (Briefly) | | Á | | Álvez, Javier | Evaluating Automated Theorem Provers Using Adimen-SUMO |
|
|
|
