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.