McErlang: a model checker for Erlang
Clara Benac Earle, Universidad Politécnica de Madrid
- Date and Time
Monday, November 9th, 2009 at 13.30
Polacksbaken, room 1146
In this talk, I will present McErlang, a model checking tool for analyzing programs written in Erlang. The idea is to replace the part of the standard Erlang runtime system that concerns distribution, concurrency and communication with a new runtime system which simulates processes inside the model checker, and which offers easy access to the program state. The tool has been used in several case-studies.
More information at: McErlang's homepage