15:3315:33, 18 January 2010diffhist+6,376 N
ProZ
Created page with 'Category:User Manual ProZ is a extension of the ProB animator and model checker to support Z specifications. It uses the Fuzz type checker by Mike Spivey [[http://spivey.orie…'
15:1615:16, 18 January 2010diffhist+3,481 N
CSP-M Syntax
Created page with '= Details of supported CSP-M syntax = Note: you can use the command "Summary of CSP syntax" in ProB's help menu to get an up-to-date list of the supported syntax, along with cur…'