@rrwo @szescstopni @Threadbane @blacklight At JPL in the 1990’s we developed a provably-correct language and compiler for on-board fault control software. [It’s been so long I forget the lead guy’s name 😔]

The invention felt like matches that would light in a rainstorm. Confidence. Reliability is/was the MAJOR contribution of JPL software to aerospace. Ok, that and autonomy, but that’s another thread.