Language Reference

Manual Pages

Manual Pages Grouped By Section

• MetaTerms:
  comments, false, for, inline, ltl, macros, select, skip, true,
• Declarators:
  accept, active, arrays, chan, datatypes, end, hidden, init, local, mtype, never, notrace, priority, proctype, progress, provided, show, trace, typedef, xr, xs,
• ControlFlow:
  atomic, break, d_step, do, for, goto, if, labels, separators, sequence, unless,
• BasicStatements:
  assert, assign, condition, printf, receive, send,
• Predefined:
  _, _last, _pid, _nr_pr, cond_expr, else, empty, enabled, eval, full, len, nempty, nfull, np_, operators, pc_value, poll, remoterefs, run, stdin, timeout,
• Embedded C Code:
  c_code, c_decl, c_expr, c_state, c_track,
• Omissions:
  float, hierarchy, pointers, probabilities, procedures, rand, realtime, scanf,

See also

• Basic Spin Manual
• Semantics model
• Promela grammar