AdaCore also suports SPARK, a cross between a development environment, a tool set and and an Ada subset, which is even more suitable for safety-critical environment than Ada.
September 28, 2011
featured blogs
Aug 11, 2025
If you're like me, all three of these videos will leave your brain buzzing with ideas, thoughts, and unanswered questions....
featured chalk talk
Infineon Automotive MOSFETs Expertise and the OptiMOS™ 7 Advantage
Sponsored by Mouser Electronics and Infineon
In this episode of Chalk Talk, Joseph Sara and Amelia Dalton explore the mega trends motivating MOSFET innovation and the details of Infineon’s cutting-edge MOSFET solutions. They also explore the benefits of Infineon’s OptiMOS 7 platform and how you can take advantage of Infineon MOSFETs for your next design.