Towards Strong Higher-Order Automation for Fast Interactive Verification

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-02359588
Contributor : Jasmin Blanchette <>
Submitted on : Tuesday, November 12, 2019 - 2:36:57 PM
Last modification on : Wednesday, November 13, 2019 - 1:26:58 AM

Links full text

Identifiers

Collections

Citation

Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz, Uwe Waldmann. Towards Strong Higher-Order Automation for Fast Interactive Verification. ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, 2017, Göteborg, Sweden. pp.16-7, ⟨10.29007/3ngx⟩. ⟨hal-02359588⟩

Share

Metrics

Record views

12