Glossary Term
Correctness
the degree to which a system or component is free from faults in its specification, design, and implementation [
IEEE 90
].