[erlang-questions] model checking concurrency?
Mon Mar 2 01:49:33 CET 2009
i'm just trying to get up to speed on what folks have done with model
checking concurrency, with an eye to erlang in particular. the Opis
paper is quite interesting.
http://perso.eleves.bretagne.ens-cachan.fr/~dagand/opis/ -- i have to
read up on McErlang and etomcrl and learn what they've done wrt
concurrency in particular (e.g. showing deadlock freedom or what
has anybody used concurrency skeletons in erlang? i haven't hit
anything yet googling.
More information about the erlang-questions