User contributions for Daniel Plagge

3 June 2014

• 20:0020:00, 3 June 2014 diff hist +53 The ProB Animator and Model Checker Added link to theory page in news
• 19:5819:58, 3 June 2014 diff hist +33 Template:User Manual Index No edit summary
• 19:5719:57, 3 June 2014 diff hist +94 Event-B Theories →Tagging operators
• 19:5219:52, 3 June 2014 diff hist +1 Event-B Theories →Tagging operators
• 19:4119:41, 3 June 2014 diff hist −8 Event-B Theories →Tagging operators
• 19:4119:41, 3 June 2014 diff hist +1,281 Event-B Theories →Download Theories
• 19:2819:28, 3 June 2014 diff hist +685 Event-B Theories →Tagging operators
• 19:1919:19, 3 June 2014 diff hist +1,574 N Event-B Theories Created page with 'ProB has (limited) support for theories. Currently supported are (examples refer to the theory project below): * recursive datatypes (e.g. the List datatype) * operators defined…'

2 June 2014

• 13:2013:20, 2 June 2014 diff hist +6 Event-B →Tagging operators current
• 13:1913:19, 2 June 2014 diff hist +37 Template:User Manual Index No edit summary
• 13:1813:18, 2 June 2014 diff hist 0 N File:Theories2.zip No edit summary current
• 13:1813:18, 2 June 2014 diff hist −14 Event-B →Download Theories
• 13:1813:18, 2 June 2014 diff hist +129 Event-B →Some theories
• 13:1513:15, 2 June 2014 diff hist +443 Event-B →Theories
• 13:0113:01, 2 June 2014 diff hist +2,248 N Event-B Created page with 'ProB supports animation and model-checking for Event-B specifications. == Installation == To install the ProB plugin for [http://www.event-b.org Rodin], open the "Help" menu in…'

28 January 2013

• 08:1208:12, 28 January 2013 diff hist −6 Links →Miscellaneous

31 October 2012

• 13:5113:51, 31 October 2012 diff hist +37 Using ProB with KODKOD →When is the Kokod translation used
• 13:5013:50, 31 October 2012 diff hist +723 Using ProB with KODKOD →What can be translated

20 March 2012

• 06:1506:15, 20 March 2012 diff hist +54 Using the Command-Line Version of ProB →-csp-guide File
• 06:1506:15, 20 March 2012 diff hist +87 Using the Command-Line Version of ProB →-test_description File