AdaCore SAS

We offer

• Software for Software Design
• Test and Verification Software
• Methods and Tools for Secure Embedded Systems
• Static and Run-Time Analysis Tools
• Other Tools and Software
• Software Development for Secure Systems (Security)
• Software Development for Functionally Safe Systems (Safety)
• Certification and Approval
• Consulting
• Training