4 ms·SPARK has some adherents in spacecraft programming for its formal verifiability and safety features.by mbonnet 2y agoSPARK has some adherents in spacecraft programming for its formal verifiability and safety features.