Correctness in refinement developments

MaRDI QIDQ4250658zbMATH OpenFDO

Authors Martin de Groot, Ken Robinson

Publication date 17 June 1999

zbMATH Keywords

model-based reasoning

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 139814
• Specifications and fault detection (extended abstract)
• A hierarchy of failures-based models: theory and application
• Correctness by construction: Towards verification in hierarchical system development

Cited in

(3)

• scientific article; zbMATH DE number 139814 (Why is no real title available?)
• Specifications and fault detection (extended abstract)
• Modular refinement diagrams (extended abstract)

This page was built for publication: Correctness in refinement developments

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