• Has passed formal certification as a part of multiple avionics flight-critical systems
• Ideal solution for any safety-critical development effort for avionics, high-speed rail, nuclear shutdown, medical, and other industries where top levels of safety must be assured

Download Product Profile (PDF)

See also:

• AdaCore products
• Restart Search

Go Back