Dev

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

Article URL: https://queue.acm.org/detail.cfm?id=3712057 Comments URL: https://news.ycombinator.com/item?id=43547593 Points: 114 # Comments: 28

Avr 2, 2025 - 01:04
 0
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

Article URL: https://queue.acm.org/detail.cfm?id=3712057

Comments URL: https://news.ycombinator.com/item?id=43547593

Points: 114

# Comments: 28

Lire plus

Tags :

Article précédent

Tell HN: Camelgate NPM Outage (Cloudflare)

Article suivant

« Elon Musk affecte l’image de la marque » : les ventes de Tesla continuent de s...

Articles similaires

How many artists' careers did the Beatles kill?

How many artists' careers did the Beatles kill?

Mar 16, 2025  0

Launch HN: Massdriver (YC W22) – Self-serve cloud infra without the red tape

Launch HN: Massdriver (YC W22) – Self-serve cloud infra...

Fév 21, 2025  0

Teaching a new way to prevent outages at Google

Mar 20, 2025  0