![Theoretical computer science / Formal methods / Mathematical logic / School of Computer Science / University of Manchester / Mathematics / Logic in computer science / Automated theorem proving / Formal verification / SPASS / Andrei Voronkov / Vampire / First-order logic Theoretical computer science / Formal methods / Mathematical logic / School of Computer Science / University of Manchester / Mathematics / Logic in computer science / Automated theorem proving / Formal verification / SPASS / Andrei Voronkov / Vampire / First-order logic](https://www.pdfsearch.io/img/93e6d0e8e2062a0574fb120e35f322d2.jpg) Date: 2017-07-31 12:00:20Theoretical computer science Formal methods Mathematical logic School of Computer Science University of Manchester Mathematics Logic in computer science Automated theorem proving Formal verification SPASS Andrei Voronkov Vampire First-order logic | | Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UKAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 3,37 MBShare Document on Facebook
|