A methodology for modular termination verification

DOI10.1007/978-3-032-13711-1_1MaRDI QIDQ7285336zbMATH OpenFDO

Authors K. Rustan M. Leino

Publication date 19 June 2026

Full work available at URL https://doi.org/10.1007/978-3-032-13711-1_1

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• Dafny: an automatic program verifier for functional correctness
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• Viper: a verification infrastructure for permission-based reasoning
• Why3 -- where programs meet provers

This page was built for publication: A methodology for modular termination verification

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