Topic: "stateless-model-checking"
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Language: Erlang - Size: 10.5 MB - Last synced at: 16 days ago - Pushed at: 16 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: 16 days ago - Pushed at: 16 days ago - Stars: 338 - Forks: 42