Formalizing Bounded Increase

DOI10.1007/978-3-642-39634-2_19zbMath1317.68233OpenAlexW1840129892MaRDI QIDQ5327348

René Thiemann

Publication date: 7 August 2013

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39634-2_19

Mathematics Subject Classification ID

Related Items

Confluence of orthogonal term rewriting systems in the prototype verification system, Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof, Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker, Formally proving size optimality of sorting networks

Uses Software

• Isabelle/HOL