Recent improvements to the McErlang model checker

@inproceedings{Earle2009RecentIT,
  title={Recent improvements to the McErlang model checker},
  author={Clara Benac Earle and Lars-{\AA}ke Fredlund},
  booktitle={Erlang Workshop},
  year={2009}
}
In this paper we describe a number of recent improvements to the McErlang model checker, including a new source to source translation to enable more Erlang programs to work under McErlang, a methodology for writing properties that can be verified by McErlang, and a combination of simulation and model checking. The latter two features are illustrated by means of the messenger example found in the documentation of the Erlang/OTP distribution.