Concise Promela Reference by Rob Gerth, June 1997 This is a quick reference for things that can be found in the Spin man pages. It is less cursory on matters the discussion…
