3 ms·
Yeah, TLA+ just verifies the spec, not the actual code. You still need to write tests and use code review and the like.
by hwayne 9y ago
Yeah, TLA+ just verifies the spec, not the actual code. You still need to write tests and use code review and the like.
- combatentropy 9y agoOkay, that makes sense. Thanks!