DO-178C and Related Standards

DO-178C is an update to the DO-178B standard and contains supplements that map closely with current industry development and verification practices including: Model-Based Development and Verification (DO-331) and Formal Methods (DO-333). Tool qualification is addressed in DO-330.