4 ms·
CompCert, seL4, EverParse, AWS TLA+, Azure infrastructure code proven correct etc. You might already be using proven correct software somewhere in your stack w
by deterministic 3y ago
CompCert, seL4, EverParse, AWS TLA+, Azure infrastructure code proven correct etc.
You might already be using proven correct software somewhere in your stack without knowing it. You most certainly will be trusting your life with it flying Airbus.