TimSoethout / isolation-check

isolation-check

Repo for extending Crooks' Isolation to support multi-level transactions.

TLA+ code in Jupiter Notebook. Runable in binder online:

Run locally using docker-compose: docker-compose up. Cmd-click the url in the output logs.