Four notions of fault for program specifications

DOI10.7561/SACS.2022.2.183MaRDI QIDQ6588078zbMATH OpenFDO

Authors J. A. Bergstra

Publication date 15 August 2024

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7561/SACS.2022.2.183

zbMATH Keywords

Laski faultMFJ faultrequirements specificationtechnical specification

Mathematics Subject Classification ID

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

Recommendations

• On faults and faulty programs
• Instruction sequence faults with formal change justification
• scientific article; zbMATH DE number 1104392
• Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent
• A survey of testing for instruction sequence theory

This page was built for publication: Four notions of fault for program specifications

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