Re:Dropbox’s Exodus from the Amazon Cloud
by bjz_ on Monday March 14, 2016 @05:01PM
(#11285557)
Do you use much in the way of formal specifications? I've heard that Amazon currently uses TLA+ to verify the semantics of their systems.
[ Parent
| on HN ]
Interesting. Here's the paper amazon published: http://research.microsoft.com/en-us/um/people/lamport/tla/fo...
It's only covering a few use cases and doesn't go into too much detail and shows example code but it seems like using TLA+ has been beneficial for them.