[erlang-questions] erlang-questions Digest, Vol 12, Issue 102
Sat May 31 07:25:36 CEST 2008
There are some fairly exciting tools that can help along
1 McErlang is an innovative way of model checking erlang code
2 gen_trace has facilities for exporting to model checkers,
and some work has been done on analysing "abstract
traces" from running systems
3 QuickCheck doesn't go for deadlocks per se, but has a
tendency to find weird and wonderful bugs in any program.
2008/5/31 Raoul Duke <>:
>> With respect to avoiding deadlocks or ensuring there are none, I would
>> design my system based on CSP (Communicating sequential processes)
>> concepts. i.e Independent processes communicating via a pipe without
>> any shared memory.
> I believe that's sort of what Erlang does by nature ;-) so it is then
> a question of what modeling tools exist and how well they work. It
> isn't enough to design with CSP, you can still create deadlocks in it
> - you have to run a checker over it to try to prove there isn't any.
> erlang-questions mailing list
More information about the erlang-questions