User contributions for Jens Bendisposto

18 January 2010

• 15:4415:44, 18 January 2010 diff hist −5 Other languages No edit summary
• 15:4315:43, 18 January 2010 diff hist +2 Other languages No edit summary
• 15:4215:42, 18 January 2010 diff hist +3,127 N Other languages Created page with 'Category:User Manual Category:Developer Manual In the latest version (1.2.7 since about July 2008) you can also open Promela files with ProB. This mode is still experimen…'
• 15:4015:40, 18 January 2010 diff hist +66 Template:User Manual Index No edit summary
• 15:3915:39, 18 January 2010 diff hist −70 ProZ →Known Limitations
• 15:3815:38, 18 January 2010 diff hist −6 ProZ →Translation to B
• 15:3715:37, 18 January 2010 diff hist −14 ProZ →prozignore
• 15:3615:36, 18 January 2010 diff hist +1 ProZ →Axiomatic definitions
• 15:3615:36, 18 January 2010 diff hist −1 ProZ →Axiomatic definitions
• 15:3615:36, 18 January 2010 diff hist −11 ProZ →Axiomatic definitions
• 15:3515:35, 18 January 2010 diff hist −13 ProZ →Operations
• 15:3415:34, 18 January 2010 diff hist −7 ProZ →Preferences ==
• 15:3415:34, 18 January 2010 diff hist −19 ProZ No edit summary
• 15:3315:33, 18 January 2010 diff hist +18 ProZ No edit summary
• 15:3315:33, 18 January 2010 diff hist +9 ProZ No edit summary
• 15:3315:33, 18 January 2010 diff hist +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:3015:30, 18 January 2010 diff hist +75 Template:User Manual Index No edit summary
• 15:1715:17, 18 January 2010 diff hist 0 CSP-M Syntax No edit summary
• 15:1715:17, 18 January 2010 diff hist +10 CSP-M Syntax No edit summary
• 15:1615:16, 18 January 2010 diff hist +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:1615:16, 18 January 2010 diff hist −3,435 CSP-M →Details of supported CSP-M syntax
• 15:1515:15, 18 January 2010 diff hist −150 CSP-M →Details of supported CSP-M syntax
• 15:1215:12, 18 January 2010 diff hist −17 CSP-M →Guiding B Machines with CSP
• 15:1115:11, 18 January 2010 diff hist −7 CSP-M →Guiding B Machines with CSP
• 15:1015:10, 18 January 2010 diff hist −3 CSP-M →Guiding B Machines with CSP
• 15:1015:10, 18 January 2010 diff hist +3 CSP-M →Guiding B Machines with CSP
• 15:0915:09, 18 January 2010 diff hist +3 CSP-M →Guiding B Machines with CSP
• 15:0915:09, 18 January 2010 diff hist −9 CSP-M →Guiding B Machines with CSP
• 15:0815:08, 18 January 2010 diff hist −1 CSP-M →Guiding B Machines with CSP
• 15:0815:08, 18 January 2010 diff hist −5 CSP-M →Guiding B Machines with CSP
• 15:0715:07, 18 January 2010 diff hist +3 CSP-M →Guiding B Machines with CSP
• 15:0615:06, 18 January 2010 diff hist +1 CSP-M →Guiding B Machines with CSP
• 15:0515:05, 18 January 2010 diff hist −4 CSP-M →Guiding B Machines with CSP
• 15:0415:04, 18 January 2010 diff hist −22 CSP-M →Guiding B Machines with CSP
• 15:0215:02, 18 January 2010 diff hist −10 CSP-M →Limitations of CSP-M Support
• 15:0215:02, 18 January 2010 diff hist +35 CSP-M No edit summary
• 15:0115:01, 18 January 2010 diff hist −2 CSP-M No edit summary
• 15:0115:01, 18 January 2010 diff hist +224 CSP-M No edit summary
• 15:0015:00, 18 January 2010 diff hist −239 CSP-M →References
• 15:0015:00, 18 January 2010 diff hist +2 CSP-M →References
• 15:0015:00, 18 January 2010 diff hist +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…'
• 14:5814:58, 18 January 2010 diff hist +32 Template:User Manual Index No edit summary
• 14:5714:57, 18 January 2010 diff hist +9 LTL Model Checking →LTL formulas in a separate file
• 14:5514:55, 18 January 2010 diff hist −11 LTL Model Checking →LTL formulas in a separate file
• 14:5514:55, 18 January 2010 diff hist +5 LTL Model Checking →LTL formulas in a separate file
• 14:5514:55, 18 January 2010 diff hist −6 LTL Model Checking →LTL formulas in a separate file
• 14:5414:54, 18 January 2010 diff hist −14 LTL Model Checking →LTL formulas in a separate file
• 14:5414:54, 18 January 2010 diff hist 0 N File:Ltlassertions.png No edit summary current
• 14:5414:54, 18 January 2010 diff hist −14 LTL Model Checking →LTL assertions in the definitions clause
• 14:5314:53, 18 January 2010 diff hist −3 LTL Model Checking →Supported Syntax