AdaCore (@Fabien.C) recently built a demo of what a Mars rover running Ada/SPARK could look like and Anthony Aiello blogged about proving safety properties with it.
10 Likes
AdaCore (@Fabien.C) recently built a demo of what a Mars rover running Ada/SPARK could look like and Anthony Aiello blogged about proving safety properties with it.