3 ms·
A TLA+ model would complement this article very well. Such a simple system is perfect to learn the basics of model checking.
by thamer 6y ago
A TLA+ model would complement this article very well. Such a simple system is perfect to learn the basics of model checking.