News for hackers. Stuff that matters.

A comment on The current state of TLA⁺ development. Parent comment

Re:The current state of TLA⁺ development by bugarela on Friday May 16, 2025 @05:23AM (#44003345)
You can also use Model-Based Testing (MBT) and produce (arbitrarily many) tests for your production code from your (model-checked) model.
[ Parent | on HN ]

There are no comments on this comment yet.