Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Daniel Plagge

For Daniel Plagge talk block log uploads logs

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…'

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…'

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

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

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
06:1306:13, 20 March 2012 diff hist +60‎ CSP-M ‎ →‎Command Line option for guided CSP||B
06:0906:09, 20 March 2012 diff hist +168‎ CSP-M ‎ →‎Guiding B Machines with CSP

07:2607:26, 8 March 2012 diff hist −1‎ Test Case Generation ‎ →‎From the command line

08:0708:07, 6 January 2012 diff hist +1‎ m Colours of enabled operations ‎No edit summary current
07:5707:57, 6 January 2012 diff hist +847‎ N Colours of enabled operations ‎ Created page with 'The enabled operations are shown in different colours, depending on the state where the operation leads to. If more than one rule of the following list apply, the first colour is…'
07:2507:25, 6 January 2012 diff hist +81‎ General Presentation (tcl/tk) ‎ →‎The ProB Main Window

12:3612:36, 21 November 2011 diff hist +1,227‎ Download ‎ 1.3.4 - final

11:3211:32, 23 August 2011 diff hist +546‎ Using the Command-Line Version of ProB ‎No edit summary
10:0610:06, 23 August 2011 diff hist +836‎ ProZ ‎No edit summary

07:0107:01, 11 May 2011 diff hist −55‎ ProZ ‎ →‎Known Limitations
06:5506:55, 11 May 2011 diff hist +65‎ m Using the Command-Line Version of ProB ‎ →‎-mcm_tests
06:5306:53, 11 May 2011 diff hist −5‎ Using the Command-Line Version of ProB ‎ →‎-mcm_tests
06:5306:53, 11 May 2011 diff hist +25‎ Using the Command-Line Version of ProB ‎ →‎-mcm_tests
06:5206:52, 11 May 2011 diff hist +11‎ Using the Command-Line Version of ProB ‎ →‎-mcm_cover
06:5106:51, 11 May 2011 diff hist +42‎ Using the Command-Line Version of ProB ‎ →‎-mcm_cover
06:5006:50, 11 May 2011 diff hist +44‎ Using the Command-Line Version of ProB ‎ →‎-mcm_cover
06:4606:46, 11 May 2011 diff hist +1,393‎ Using the Command-Line Version of ProB ‎ →‎-mcm_tests
06:1706:17, 11 May 2011 diff hist +48‎ Using the Command-Line Version of ProB ‎ →‎-mcm_tests

07:1507:15, 6 May 2011 diff hist +239‎ Nm User talk:Lukas Ladenberger ‎ Welcome! current
07:1507:15, 6 May 2011 diff hist 0‎ Nm User:Lukas Ladenberger ‎ Creating user page with biography of new user. current

10:3810:38, 6 April 2011 diff hist +1,087‎ Plan LTL Visualisation ‎No edit summary current

10:3410:34, 1 March 2011 diff hist +1‎ m Tutorial Complete Model Checking ‎ fixed typo

09:2209:22, 11 February 2011 diff hist +48‎ Download ‎ →‎Latest Release

15:5015:50, 10 February 2011 diff hist 0‎ Download ‎ →‎Latest Release
15:4915:49, 10 February 2011 diff hist −6‎ Download ‎ →‎Latest Release

12:4112:41, 3 February 2011 diff hist +61‎ Plan LTL Visualisation ‎ →‎Ideen zu GUI
12:3912:39, 3 February 2011 diff hist +92‎ Plan LTL Visualisation ‎ →‎Ideen zu GUI

13:4713:47, 19 January 2011 diff hist +13‎ Plan LTL Visualisation ‎ →‎Anzeige
13:2913:29, 19 January 2011 diff hist +191‎ Plan LTL Visualisation ‎ →‎Wichtige Punkte
13:0813:08, 19 January 2011 diff hist +128‎ Plan LTL Visualisation ‎ →‎Ideen zu GUI

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Daniel_Plagge"