|
|
Vampire 2016: Author IndexAuthor | 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 |
|
|
|