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...

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...

🧩 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