Documents Promela-prirucnik

Basic Spin Manual Gerard J. Holzmann AT&T Bell Laboratories Murray Hill, New Jersey 07974 ABSTRACT Spin is a tool for analyzing the logical consistency of concurrent…

Documents Pro Me La Manual

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…