LobstersHow NASA Built Artemis II’s Fault-Tolerant Computer https://lobste.rs/s/nomyva #distributed #formalmethods #hardware #testing
https://cacm.acm.org/news/how-nasa-built-artemis-iis-fault-tolerant-computer/
https://cacm.acm.org/news/how-nasa-built-artemis-iis-fault-tolerant-computer/
