Department of Information Technology

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

Back to the seminar page

Updated  2009-10-29 14:57:12 by Frédéric Haziza.