Best Practices in Code Inspection for Safety-Critical Software
Best Practices in Code Inspection for Safety-Critical Software
J. R. Almeida,J. Camargo,B. A. Basseto,S. M. Paz
2003 · DOI: 10.1109/ms.2003.1196322
IEEE Software · 39 Citations
TLDR
One of the most important issues in analyzing safety-critical systems is code verification through an inspection checklist, whose items must be applied to the source code.