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…'
15:0015:00, 18 January 2010diffhist+7,852 N
CSP-M
Created page with 'ProB supports machine readable CSP, as supported by FDR and ProBE. CSP files can be animated and model checked on their own, simply by opening a file ending with ".csp". You ca…'