4 ms·Development Software Handles High-Integrity Space Applications3 points by based2 6y agorurban 6y agoI was surprised they didn't use SPARK contracts to ensure compile-time safeties.