How NASA Built Artemis II’s Fault-Tolerant Computer (via owi) — discussion
#distributed #formalmethods #hardware #testing
