Field notes2015-06-01 · Archive
Developing Provably-Correct Software Using Formal Methods
Original EnglishWhere this applies — and where it may not
Original English evidence, selected for practical experience and outcomes. Read the source discussion for context.
From the discussion
“Bugs can still happen there, and I think they even found one a few years ago, but it didn't have any impact on all the …”
@tunesmith · View source
Y
Developing Provably-Correct Software Using Formal Methods
@tunesmith · 60 points · 14 comments
Read the Hacker News threadSource: OpenIndex Hacker News dataset (ODC-By). Original content belongs to its authors. Summaries, translations, and suggested steps are AI-assisted editorial work. Read the sources; individual outcomes are not guarantees.