scientific article; zbMATH DE number 915856

MaRDI QIDQ4889348zbMATH OpenFDO

Authors Gerard J. Holzmann

Publication date 5 January 1997

zbMATH Keywords

early fault detectionverification techniques

Mathematics Subject Classification ID

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

Recommendations

• Pitfalls of formality in early system design
• scientific article; zbMATH DE number 1903375
• scientific article; zbMATH DE number 2088732
• On faults and faulty programs
• FERRARI: a flexible software-based fault and error injection system

Cited in

(1)

• Using fault screeners for software error detection

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 Q4889348)