description Add a TLA+ model to a Java project, so that TLC checks the invariants its core logic must keep (an order lifecycle, a saga, a circuit breaker, a lease, an idempotency key, a workflow) over ...
Plain clones, not tracked by this repository (see .gitignore); each entry says where the fork is and what it changes. A build strategy that ties them in comes later.
Some results have been hidden because they may be inaccessible to you
