Verification of concrete programs with respect to abstract programs

DOI10.13328/J.CNKI.JOS.005195MaRDI QIDQ3132070zbMATH OpenFDO

Authors Bin Li, Zhenhao Tang, Juan Zhai, Jian-hua Zhao

Publication date 29 January 2018

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.005195

zbMATH Keywords

abstract programconsistencydecompositionprogram verificationrefinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Formal Methods at the Crossroads. From Panacea to Foundational Support
• scientific article; zbMATH DE number 3938540
• scientific article; zbMATH DE number 1953018
• scientific article; zbMATH DE number 1497823
• Abstract interpretation based verification of logic programs

Cited in

(3)

• Formal verification of programs for abstract register machines
• scientific article; zbMATH DE number 7364137 (Why is no real title available?)
• LMS-Verify: abstraction without regret for verified systems programming

This page was built for publication: Verification of concrete programs with respect to abstract programs

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