Subscribe to our Erlang Factory newsletter to receive the latest updates and news

Alvaro Fernandez Diaz
Universidad Politecnica de Madrid

Alvaro Fernandez Diaz is a PhD student at the Universidad Politecnica of Madrid. He is currently involved in the ProTest project where he mainly works on improving McErlang. He has, among other things, developed a McErlang emacs mode.

Alvaro Fernandez Diaz is Giving the Following Talks
McErlang: a model checker for Erlang

McErlang is a tool which helps finding bugs and understanding them. In this hands-on tutorial we will illustrate the use of McErlang through examples, including the latest improvements implemented in the tool.