scientific article; zbMATH DE number 915856

zbMATH Open0854.68061MaRDI QIDQ4889348FDOQ4889348

Authors: Gerard J. Holzmann 

Publication date: 5 January 1997

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

verification techniquesearly fault detection

Mathematics Subject Classification ID

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

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)