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 |