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

Raoul Duke <>
Fri May 30 23:33:49 CEST 2008


> 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.


More information about the erlang-questions mailing list