v @avi.im · Jul 24 Loved reading this excellent post by Marc Brooker and Ankush Desai: Systems Correctness Practices at Amazon Web Services on how they use formal methods internally at AWS. One of the best articles I've read this year on formal verification and testing.
3 likes 1 replies
?
Replies
I liked how this article lists various methods and how they're used to solve particular cases. Also includes references to some great papers. Also, TIL that AWS has a fault injection service where customers can inject simulated faults from API errors to I/O pauses and failed instances.