Documents 5_Promela

Promela language Dr. ir. N. Goga Promela language Formal Methods. Here one constructs a model that has a formal semantics. Usually it is possible to prove properties of such…

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…