Hands-on session with the McErlang model checker


By Erlang Central | Published: April 27, 2009



Following the talk on the McErlang Model Checker by Lars-Ake Fredlund, Clara Benac-Earle will provide a hands-on demonstration of the tool for those interested. Delegates will be shown how to install it onto their laptops and then they will be taken through some exercises to demonstrate its usage.


Download Presentation Download

Speakers:

  • Clara Benac Earle

    Ex-Ericsson CS Lab and model checking expert
    Technical University of Madrid

    Clara was first exposed to Erlang as a student from Spain who got the opportunity to do a master project at Ericsson CSLAB - the birthplace of Erlang. Having seen enough of Sweden, she decided to spread Erlang technology to the UK academy by pursuing a PhD degree at the University of Kent, after which she returned home to Madrid, Spain where she now works at the Technical University of Madrid. Her speciality is model checking Erlang programs, and now works together with other researchers in the European ProTest project on developing new cool Erlang development tools.


    Clara Benac Earle


Follow Erlang Central:


Have an Erlang Question?

Reach out to the Erlang community





Tags