2 search results - page 1 / 1 » Model-Checking Erlang - A Comparison between EtomCRL2 and Mc... |
TAICPART
2010
IEEE
15 years 2 months ago
2010
IEEE
117
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...