Vampire 2014 and 2015: Volume Information

Proceedings of the 1st and 2nd Vampire Workshops

Papers

Keyphrases

automated reasoning, automated theorem proving, automatic theorem provers, Avatar³, first-order theorem proving², invariant generation, Isabelle/HOL, program analysis², proof assistants, SAT solving, Saturation Algorithms, symbol elimination, theorem proving², TPTP, type systems, Vampire⁶.