[erlang-questions] finding deadlocks (Re: eep: multiple patterns)

[Raoul Duke]

hi,

> a bit messy.

Many thanks for the note.

Are there any tools folks do/might use in the Erlang field for
deadlock type issues e.g. state machine models + checking? I guess
there's the classic/holy-grail issue of having something where the
code + model are somehow magically kept in sync as changes are made to
either one.

sincerely.