Tasty » Adam Sampson's model-checking bookmarks

IPC Protocols - MozillaWiki edit / delete

Protocol specifications from the Mozilla project (they plan to model-check using SPIN).

to concurrency ipc model-checking mozilla spin ... on 03 April

McErlang edit / delete

Model-checker for Erlang, using a modified runtime library (much like Neil's CHP-to-CSP trick).

to concurrency erlang model-checking ... on 01 June 2009