Adam Sampson's model-checking bookmarkshttps://bookmarks.offog.org/ats/model-checkingAdam Sampson2014-08-28T11:29:28ZAxiomatic validation of memory barriers and atomic instructions [LWN.net]https://bookmarks.offog.org/edit?url=http%3A%2F%2Flwn.net%2FArticles%2F608550%2F2014-08-28T11:29:28ZMore progress on model checking for memory models on modern processors. The tool described here covers ARM, Power and x86 memory models, and does efficient analysis of (smallish) chunks of code.IPC Protocols - MozillaWikihttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fwiki.mozilla.org%2FIPC_Protocols2012-04-03T11:38:45ZProtocol specifications from the Mozilla project (they plan to model-check using SPIN).McErlanghttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fbabel.ls.fi.upm.es%2Ftrac%2FMcErlang%2F2009-06-01T19:18:58ZModel-checker for Erlang, using a modified runtime library (much like Neil's CHP-to-CSP trick).