Interactive Termination Proofs Using Termination Cores

DOI10.1007/978-3-642-14052-5_25MaRDI QIDQ5747661zbMATH OpenOpenAlexFDO

Authors Panagiotis Manolios, Daron Vroon

Publication date 14 September 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-14052-5_25

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1722702
• Interactive proofs in higher-order concurrent separation logic
• On the Computational Content of Termination Proofs
• Proof-theoretic analysis of termination proofs
• Modular and incremental automated termination proofs
• Compositional termination proofs for multi-threaded programs
• Towards a domain theory for termination proofs
• scientific article; zbMATH DE number 66620
• scientific article; zbMATH DE number 2242587

Cited in

(2)

• All-Termination(T)
• Termination Analysis with Calling Context Graphs

Describes a project that uses

Uses Software

• ACL2s
• ACL2

This page was built for publication: Interactive Termination Proofs Using Termination Cores

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747661)