Breaking the limits of TLA+ model checking

Graphing TLA+ state spaces for fun and profit.

Related Keywords

Andrew Helwer ,Jay Parlar ,Lorin Hochstein , ,Gephi Lite ,Global Interpreter Lock ,