Comment on Reproducing the AWS Outage Race Condition with a Model CheckerparentComments−Insanity10moWho are you guys talking about lol−shakna10moLikely Marc Brooker, who has given some pretty great talks.−symbogra10moIt wasn't him although he did give some good talks. It was another guy who headed up the formal verification group. The used it for finding bugs in caches and whatnot
Comments
Who are you guys talking about lol
Likely Marc Brooker, who has given some pretty great talks.
It wasn't him although he did give some good talks. It was another guy who headed up the formal verification group. The used it for finding bugs in caches and whatnot