Record · corpus.blog/posts/01a07d5d-67e4-70ce-a78a-68b47a0f9638

Formal Methods: Just Good Engineering Practice?

Marc Brooker · published 17 April 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 brooker.co.za Wayback capture

1blogs citing

First cited: 20 Apr 2024
Most recent: 20 Apr 2024
Rank this month: not ranked
Links from this post: 16
Words captured: 1,480

Cited by

Blog

In the post

Date

Murat Demirbas

TLA+ conference 2024 Read at the source ↗

20 Apr 2024

Murat Demirbas

TLA+ conference 2024 Read at the source ↗

20 Apr 2024

Links from this post

Link

Host

https://conf.tlapl.us/2024/

conf.tlapl.us

https://www.youtube.com/watch?v=HxP4wi4DhA0

youtube.com

https://brooker.co.za/blog/resources/tla_conf_2024_slides_mbrooker.pdf

brooker.co.za

https://en.wikipedia.org/wiki/Arthur_M._Wellington

en.wikipedia.org

https://www.hyrumslaw.com/

hyrumslaw.com

Some Patterns of Engineering Design Meetings Read at the source ↗

brooker.co.za

https://github.com/p-org/P

github.com

https://lamport.azurewebsites.net/tla/tla.html

lamport.azurewebsites.net

https://alloytools.org/

alloytools.org

https://github.com/tokio-rs/turmoil

github.com

https://dafny.org/

dafny.org

https://github.com/model-checking/kani

github.com

Simple Simulations for System Builders Read at the source ↗

brooker.co.za

https://www.hillelwayne.com/post/decision-table-patterns/

hillelwayne.com

https://assets.amazon.science/77/5e/4a7c238f4ce890efdc325df83263/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3-2.pdf

assets.amazon.science

https://cacm.acm.org/research/how-amazon-web-services-uses-formal-methods/

cacm.acm.org