Stav dette: Software Fault Prevention, Verification, and Validation