Comment Comment by martincmartin This is the one paper I know of: http://research.microsoft.com/en-us/um/people/lamport/tla/am...I know of some small scale use at Facebook (where I work), where it has been used to verify a non-trivial protocol under various combinations of failures. parent martincmartin 10 years ago
I know of some small scale use at Facebook (where I work), where it has been used to verify a non-trivial protocol under various combinations of failures.