3 ms·TLA+ model checking and an implementation that follows the spec as closely as possible.by krenoten 11y agoTLA+ model checking and an implementation that follows the spec as closely as possible.