2 ms·
Having a few fault injection scenarios is baby steps. Next would be Jepsen-style testing, and most mature would be formal verification.
by closeparen 9mo ago
Having a few fault injection scenarios is baby steps. Next would be Jepsen-style testing, and most mature would be formal verification.