We just revisited the crucial role of high-integrity software in space exploration, focusing on the Mars Rover's safety monitor system. Check out how AdaCore's solutions help ensure mission success by keeping software reliable in the most critical environments. blog.adacore.com/revisiting-t...

Revisiting the Mars Rover Safety Monitor

by M. Anthony Aiello – Jul 17, 2025. In the blog

blog.adacore.com

The @adacore.bsky.social CPRO Quentin Ochem, talks to Automotive Engineering (SAE Media Group) about the value of international standards like ISO 26262 in preventing recalls. www.youtube.com/watch?v=OoI2...

Ensuring Software Safety in the Automotive Industry

YouTube video by SAE Media Group

youtube.com

🧩 What do SAT solvers and Sudoku have in common? Our latest blog explores how AdaSAT, a SAT solver in Ada, solves Sudoku — and what it reveals about modelling and constraint solving. Read more: blog.adacore.com/solving-sudo... #Ada #FormalMethods #Sudoku