that Amazon paper is talking about design/algorithm verification using formal me... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		packetslave on June 1, 2015 \| parent \| context \| favorite \| on: How Is Critical Life or Death Software Tested? 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 on June 1, 2015 [–]

And as I recall, TLA+ doesn't tie into code generation which doesn't help with the verification process.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact