3 ms·
No, you never can. In any language, no matter the kind of specification, I can write an elaborate method to break any form of non-human verification. Maybe I'm
by gravypod 11y ago
No, you never can. In any language, no matter the kind of specification, I can write an elaborate method to break any form of non-human verification.
Maybe I'm not getting it. It just sounds like a unit test design with extra steps. I might just need to see an example to understand how it works.
Too bad this is closed source.
- greenyoda 11y agoThe TLA+ tool that they're using is actually open source. You can read about it here (and there's a link to the source on CodePlex): http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html http://research.microsoft.com/en-us/um/people/lamport/tla/tl...