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

Getting into formal specification, and getting my team into it too

Marc Brooker · published 29 July 2022

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: 1 Sept 2023
Most recent: 1 Jan 2024
Rank this month: not ranked
Links from this post: 20
Words captured: 1,318

Cited by

Blog

In the post

Date

poorlydefinedbehaviour.github.io

Reading list 2023 Read at the source ↗

1 Jan 2024

poorlydefinedbehaviour.github.io

Reading list August 2023 Read at the source ↗

1 Sept 2023

Links from this post

Link

Host

https://alloytools.org/

alloytools.org

https://spinroot.com/spin/whatispin.html

spinroot.com

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

lamport.azurewebsites.net

https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext

cacm.acm.org

https://cacm.acm.org/magazines/2015/4/184705-who-builds-a-house-without-drawing-blueprints/fulltext

cacm.acm.org

https://arxiv.org/abs/2102.12892

arxiv.org

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

github.com

https://github.com/awslabs/shuttle

github.com

https://github.com/dafny-lang/dafny

github.com

https://www.amazon.science/publications/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3

amazon.science

Simple Simulations for System Builders Read at the source ↗

brooker.co.za

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

youtube.com

https://www.usenix.org/conference/nsdi20/presentation/brooker

usenix.org

http://www.pamelazave.com/chord.html

pamelazave.com

http://www.pamelazave.com/chord-ccr.pdf

pamelazave.com

https://www.amazon.science/working-at-amazon-from-nasa-ames-research-center-to-automated-reasoning-group-aws-neha-rungta

amazon.science

https://www.learntla.com/

learntla.com

https://smile.amazon.com/Specifying-Systems-Language-Hardware-Engineers/dp/032114306X/

smile.amazon.com

https://model-checking.github.io/kani-verifier-blog/2022/07/13/using-the-kani-rust-verifier-on-a-firecracker-example.html

model-checking.github.io

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

youtube.com