The McErlang model checker for Erlang