Hacker News new | ask | show | jobs
by hwayne 3185 days ago
Yeah, TLA+ just verifies the spec, not the actual code. You still need to write tests and use code review and the like.
1 comments
combatentropy 3185 days ago
Okay, that makes sense. Thanks!
link