McErlang: a model checker for a distributed functional programming language.

Lars-ke Fredlund, Hans Svensson

Browse the full ICFP paper archive.