hnrss.org

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: 29 # Comments: 4

Avr 1, 2025 - 17:31
 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: 29

# Comments: 4

Lire plus

Tags :

Article précédent

Launch HN: ASim (YC S21) – Mobile app that generates mobile apps

Article suivant

Intolérance au gluten : des chercheurs ont enfin trouvé où tout commence

Articles similaires

Amazon Submits Bid for TikTok with US Sale Deadline Nea...

Avr 2, 2025  0

SSLyze – SSL configuration scanning library and CLI tool

SSLyze – SSL configuration scanning library and CLI tool

Avr 2, 2025  0

Writing your own C++ standard library from scratch

Writing your own C++ standard library from scratch

Mar 25, 2025  0