Comment by tombert

I've never used SPARK, but the Wikipedia page makes it seem pretty interesting.

For that matter, Ada seems interesting, I kind of wish it had caught on outside of the defense industry.