DEV Community

Discussion on: Safety-Critical Software: 15 things every developer should know

Collapse
 
bosepchuk profile image
Blaine Osepchuk

Oh man, I'm a huge fan of Ada and SPARK. I just wrote and open sourced a sumobot written in SPARK.

My post just kept growing and growing in length so I decided to make some hard edit choices to prevent it from becoming a short book. But safer languages are definitely an option.