Reviews
Concuerror is a stateless model checking tool for Erlang programs.
Search similar apps
License
BSD 2-Clause "Simplified" License
Concuerror is a stateless model checking tool for Erlang programs.
Creator
Concuerror is a stateless model checking tool for Erlang programs.
BSD 2-Clause "Simplified" License
Concuerror is a stateless model checking tool for Erlang programs.