Formalising general correctness

MaRDI QIDQ2845516zbMATH OpenFDO

Authors Jeremy E. Dawson

Publication date 30 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066103000112

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formalising Generalised Substitutions
• Abstract commands: A uniform notation for specification and implementation
• General correctness: A unification of partial and total correctness
• Refinement concepts formalised in higher order logic
• scientific article; zbMATH DE number 2110621

Cited in

(6)

• Lifting General Correctness into Partial Correctness is ok
• Formal justification of underspecification for S5
• Formalising Generalised Substitutions
• General correctness: A unification of partial and total correctness
• scientific article; zbMATH DE number 3921953 (Why is no real title available?)
• Abstract commands: A uniform notation for specification and implementation

This page was built for publication: Formalising general correctness

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