| No. |
Title |
Author |
Year |
| 1 |
Real-Time Double-Ended Queue Verified (Proof Pearl) |
Toth, Balazs et al. |
2023 |
| 2 |
Proof Pearl: Purely Functional, Simple and Efficient Priority Search Trees and Applications to Prim and Dijkstra |
Lammich, Peter et al. |
2019 |
| 3 |
Trustworthy Graph Algorithms (Invited Talk) |
Abdulaziz, Mohammad et al. |
2019 |
| 4 |
Formalized Proof Systems for Propositional Logic |
Michaelis, Julius et al. |
2018 |
| 5 |
Verified Analysis of Functional Data Structures |
Nipkow, Tobias |
2016 |
| 6 |
Verified Analysis of List Update Algorithms |
Haslbeck, Maximilian P. L. et al. |
2016 |
| 7 |
Deduction and Arithmetic (Dagstuhl Seminar 13411) |
Bjorner, Nikolaj et al. |
2014 |
| 8 |
09411 Abstracts Collection -- Interaction versus Automation: The two Faces of Deduction |
Ball, Thomas et al. |
2010 |
| 9 |
09411 Executive Summary -- Interaction versus Automation: The two Faces of Deductions |
Ball, Thomas et al. |
2010 |
| 10 |
Towards a Verified Enumeration of All Tame Plane Graphs |
Nipkow, Tobias et al. |
2006 |
