# content
How NASA Built Artemis II’s Fault-Tolerant Computer (via owi) — discussion

#distributed #formalmethods #hardware #testing