Verification in DO178C