Verification

Proving flight software works before it flies: simulation in the loop, testbeds, coverage, and the classes of defect each method does and does not catch.