למידע נוסף על המוצר של MathWorks והצעת מחיר:

DO Qualification Kit provides documentation, test cases, and procedures that let you qualify Simulink and Polyspace software verification tools for projects based on DO-178C, DO-278A, and related supplements.