Topic: "concurrent-erlang-programs"
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Language: Erlang - Size: 10.5 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 338 - Forks: 42
Concuerror is a stateless model checking tool for Erlang programs.
Language: Erlang - Size: 10.5 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 338 - Forks: 42