Record · corpus.blog/posts/01a08742-e37a-72e6-ac46-8315496a1338

It is just a Formality...

blog.applied-algorithms.tech · published 5 January 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.applied-algorithms.tech Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 19
Words captured: 2,392

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://www.linkedin.com/pulse/getting-started-dafny-your-first-formal-proof-alfred-white-puucc

linkedin.com

https://www.linkedin.com/company/ziosk/jobs/

linkedin.com

https://en.wikipedia.org/wiki/Heisenbug

en.wikipedia.org

Parse, don’t validate Read at the source ↗

lexi-lambda.github.io

https://www.linkedin.com/pulse/introduction-testing-impossible-alfred-white

linkedin.com

https://www.edn.com/toyotas-killer-firmware-bad-design-and-its-consequences/

edn.com

https://en.wikipedia.org/wiki/Therac-25

en.wikipedia.org

https://www.scientificamerican.com/article/human-error-caused-mars-g/

scientificamerican.com

https://en.wikipedia.org/wiki/The_DAO

en.wikipedia.org

https://www.henricodolfing.com/2019/06/project-failure-case-study-knight-capital.html

henricodolfing.com

https://dafny.org/latest/OnlineTutorial/guide

dafny.org

https://dafny.org/dafny/DafnyRef/DafnyRef

dafny.org

https://github.com/aws/aws-encryption-sdk-dafny

github.com

https://github.com/Consensys?q=&type=all&language=dafny&sort=

github.com

https://en.wikipedia.org/wiki/Halting_problem

en.wikipedia.org

https://github.com/boogie-org/boogie

github.com

https://github.com/Z3Prover/z3

github.com

https://lamport.azurewebsites.net/tla/amazon-excerpt.html

lamport.azurewebsites.net

https://www.microsoft.com/en-us/research/publication/ironfleet-proving-practical-distributed-systems-correct/

microsoft.com