[erlang-questions] model checking concurrency?

Raoul Duke <>
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
have-you).

has anybody used concurrency skeletons in erlang? i haven't hit
anything yet googling.

sincerely.



More information about the erlang-questions mailing list