Back to Results
First PageMeta Content
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


Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1
Add to Reading List

Document Date: 2017-07-30 15:10:52

Open Document

File Size: 177,27 KB

Share Result on Facebook