4 ms·
that Amazon paper is talking about design/algorithm verification using formal methods. This does NOT verify that the design or algorithm in question is actually
by packetslave 11y ago
that Amazon paper is talking about design/algorithm verification using formal methods. This does NOT verify that the design or algorithm in question is actually implemented correctly and matches the design perfectly.
- lambdaelite 11y agoAnd as I recall, TLA+ doesn't tie into code generation which doesn't help with the verification process.