top | item 44159041 (no title) gooosle | 9 months ago How do you know whether your TLA+ model is accurate? discuss order hn newest hwayne|9 months ago With one client I have, we know the TLA+ model is accurate because we're extracting tests directly from the spec. It's kind of a riff on what MongoDB does in this paper: https://arxiv.org/abs/2006.00915
hwayne|9 months ago With one client I have, we know the TLA+ model is accurate because we're extracting tests directly from the spec. It's kind of a riff on what MongoDB does in this paper: https://arxiv.org/abs/2006.00915
hwayne|9 months ago