A complete proof for the correctness of programs with new specification language

zbMATH Open1180.68172MaRDI QIDQ3612092FDOQ3612092

Authors:

Publication date: 3 March 2009

Full work available at URL: http://pphmj.com/abstract/3371.htm

Recommendations

• A partial correctness proof for programs with decided specification
• A language of specified programs
• Multilevel structured program designs and correctness proving
• scientific article; zbMATH DE number 1822431
• Logic programs as specifications in the inductive verification of logic programs

zbMATH Keywords

preconditionpartial correctnessspecification languageformal theorypostconditionincondition

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Cited In (1)

• A partial correctness proof for programs with decided specification

This page was built for publication: A complete proof for the correctness of programs with new specification language

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