|
|
Proceedings of the 1st and 2nd Vampire Workshops7 articles•74 pages•Published: February 23, 2016 PapersPages 1-7 | Pages 8-28 | Pages 29-32 | Pages 33-51 | Pages 52-62 | Pages 63-69 | Pages 70-74 |
Keyphrasesautomated reasoning, automated theorem proving, automatic theorem provers, Avatar3, first-order theorem proving2, invariant generation, Isabelle/HOL, program analysis2, proof assistants, SAT solving, Saturation Algorithms, symbol elimination, theorem proving2, TPTP, type systems, Vampire6 |
|
|