I can’t understand any of this. It’s saying everything and nothing at the same time. Whatever TLA+ is this article makes it sound like the most tedious and academic thing ever.
* You define initial states and all possible state transitions.* It will brute force all states.* You can add a variety of assertions.
listless · · focus · HN ↗
mrkeen · · focus · HN ↗
* It will brute force all states.
* You can add a variety of assertions.