←back to thread

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

(queue.acm.org)
167 points yarapavan | 1 comments | 01 Apr 25 14:59 UTC | HN request time: 0.212s | source
Show context
nullorempty ◴[01 Apr 25 16:08 UTC] No.43548459[source]▶
And what teams use these methods exactly?
replies(2): >>43548526 #>>43552340 #
1. jmccarthy ◴[01 Apr 25 23:23 UTC] No.43552340[source]▶
https://aws.amazon.com/verified-permissions/ (AVP) is a team and product which uses the formally verified Cedar language. https://arxiv.org/abs/2403.04651