How to verify Erlang Programs? Philippe Giabbanelli CMPT 894 – Spring 2008 1 We can try to look directly at how people modeled languages such as Erlang in order to do some…
