scientific article; zbMATH DE number 1104392

MaRDI QIDQ4370276zbMATH OpenFDO

Authors Martin de Groot, Ken Robinson

Publication date 3 May 1998

zbMATH Keywords

fault detectionrefinement calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1303989
• An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II
• scientific article; zbMATH DE number 3943003
• scientific article; zbMATH DE number 1086636

Cited in

(5)

• Editorial
• Relational mathematics for relative correctness
• scientific article; zbMATH DE number 1303989 (Why is no real title available?)
• Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent
• Four notions of fault for program specifications

This page was built for publication:

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