![Theoretical 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 Theoretical 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](https://www.pdfsearch.io/img/9d16de03ce1a1305a6ac6ab1eed2584e.jpg) 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
|