Certification of Nontermination Proofs

DOI10.1007/978-3-642-32347-8_18zbMath1360.68767OpenAlexW203185895MaRDI QIDQ2914748

René Thiemann, Christian Sternagel

Publication date: 20 September 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-32347-8_18

zbMATH Keywords

nonterminationterm rewritinginteractive theorem provingformalization

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Building program construction and verification tools from algebraic principles

Uses Software

• Isabelle/HOL

This page was built for publication: Certification of Nontermination Proofs