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
|