The Imperative Refinement Framework

MaRDI QIDQ7361373FDO

Authors Peter Lammich

Publication date 8 August 2016

Cited in

(13)

• Kruskal's Algorithm for Minimum Spanning Forest
• The Boustrophedon Transform, the Entringer Numbers, and Related Sequences
• The Partition Function and the Pentagonal Number Theorem
• Simplicial Complexes and Boolean functions
• The Floyd-Warshall Algorithm for Shortest Paths
• VerifyThis 2018 - Polished Isabelle Solutions
• Flow Networks and the Min-Cut-Max-Flow Theorem
• The string search algorithm by Knuth, Morris and Pratt
• Worklist Algorithms
• A Verified Imperative Implementation of B-Trees
• VerifyThis 2019 -- Polished Isabelle Solutions
• Algorithms for Reduced Ordered Binary Decision Diagrams
• Practical Algebraic Calculus Checker

This page was built for software: The Imperative Refinement Framework