[erlang-questions] model checking concurrency?

[Raoul Duke]

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.