Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
The AdaCore Blog
(Uncensored)
subscribe
Revisiting the Mars Rover Safety Monitor
https://blog.adacore.com/revisiting-the-mars-rover-safety-monitor
links
backlinks
In the blog "Let's Write a Safety Monitor for a Mars Rover", I made a big assumption in the procedure that moves that Rover forward; here, I relax that assumption and thus end with a stronger proof of safety for the Rover.
