News for hackers. Stuff that matters.

A comment on How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors. Parent comment

Re:How We Proved the Eth2 Deposit Contract Is Free of Runtim... by diroussel on Tuesday September 14, 2021 @03:45AM (#28521570)
AWS have worked with Leslie Lamport of proving properties about S3.

See: Use of Formal Methods at Amazon Web Services

https://lamport.azurewebsites.net/tla/formal-methods-amazon....

[ Parent | on HN ]

There are no comments on this comment yet.