[erlang-questions] finding deadlocks (Re: eep: multiple patterns)
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
More information about the erlang-questions