Date: 2017-07-30 15:10:52Theoretical computer science Software engineering Mathematical software Formal methods Proof assistants Logic in computer science Automated theorem proving Isabelle Automated reasoning E theorem prover Formal verification KeY | | Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1Add to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 177,27 KBShare Document on Facebook
|