Chorer
Info
Github
Erlang Code Input
Load Example
-- choose an example --
Bank Account Race Condition
Two Async Communications
Customer Example
Two Dining Philosophers
Tit-Tac with loop
Tic Tac with stop
Entry point
?
The function where the analysis should start. Use Erlang format:
name/arity
.
Minimize Local View
?
Applies minimization to the localview.
Minimize Global View
?
Applies minimization to the globalview.
Global State History
?
Consider the trace history when computing the globalview.
Submit
DOT graph output will appear here