User contributions for Jens Bendisposto

20:3320:33, 28 June 2013 diff hist +1‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The State Space
20:3220:32, 28 June 2013 diff hist +23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The model
20:3020:30, 28 June 2013 diff hist +1‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Preparation

08:0808:08, 20 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:0708:07, 20 June 2013 diff hist +31‎ N Template:Bugtrack ‎ moved Template:Bugtrack to Template:Feedback current
08:0708:07, 20 June 2013 diff hist 0‎ m Template:Feedback ‎ moved Template:Bugtrack to Template:Feedback
08:0708:07, 20 June 2013 diff hist +1‎ Template:Feedback ‎No edit summary

08:4608:46, 19 June 2013 diff hist −10‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:4608:46, 19 June 2013 diff hist +14‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:4608:46, 19 June 2013 diff hist −9‎ User:Jens Bendisposto ‎No edit summary
08:4508:45, 19 June 2013 diff hist +774‎ N Template:Feedback ‎ Created page with '== Feedback == <html> <script type="text/javascript" src="http://jira.cobra.cs.uni-duesseldorf.de/s/en_UStsb6zr-418945332/850/2/1.2.9/_/download/batch/com.atlassian.jira.collect…'
08:4508:45, 19 June 2013 diff hist −8‎ User:Jens Bendisposto ‎No edit summary
08:4308:43, 19 June 2013 diff hist +118‎ Jens Bendisposto:Bugtrack ‎No edit summary current
08:4008:40, 19 June 2013 diff hist +50‎ Jens Bendisposto:Bugtrack ‎No edit summary
08:3108:31, 19 June 2013 diff hist +14‎ Jens Bendisposto:Bugtrack ‎No edit summary
08:3008:30, 19 June 2013 diff hist +592‎ N Jens Bendisposto:Bugtrack ‎ Created page with '<script type="text/javascript" src="http://jira.cobra.cs.uni-duesseldorf.de/s/en_UStsb6zr-418945332/850/2/1.2.9/_/download/batch/com.atlassian.jira.collector.plugin.jira-issue-co…'
08:3008:30, 19 June 2013 diff hist −209‎ User:Jens Bendisposto ‎No edit summary
08:3008:30, 19 June 2013 diff hist +17‎ User:Jens Bendisposto ‎No edit summary
08:2908:29, 19 June 2013 diff hist −91‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:2408:24, 19 June 2013 diff hist −116,600‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:2308:23, 19 June 2013 diff hist +115,960‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:1908:19, 19 June 2013 diff hist −4‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Provide Feedback
08:1808:18, 19 June 2013 diff hist +125‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:1508:15, 19 June 2013 diff hist +610‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:1008:10, 19 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:1008:10, 19 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:0908:09, 19 June 2013 diff hist −3‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:0908:09, 19 June 2013 diff hist +53‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary

12:3912:39, 13 June 2013 diff hist −1‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
12:3912:39, 13 June 2013 diff hist +11‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
12:3812:38, 13 June 2013 diff hist +9,173‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
11:2111:21, 13 June 2013 diff hist −10‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
11:2011:20, 13 June 2013 diff hist −3‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
11:1911:19, 13 June 2013 diff hist −9‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
11:1711:17, 13 June 2013 diff hist +1,175‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
09:4609:46, 13 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
09:4209:42, 13 June 2013 diff hist +23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
09:4109:41, 13 June 2013 diff hist +58‎ N File:Scheduler tutorial2013.zip ‎ Example Project for Rodin User and Developer Workshop 2013 current
09:4009:40, 13 June 2013 diff hist +751‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
09:2109:21, 13 June 2013 diff hist −103‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ Blanked the page

09:4609:46, 10 April 2013 diff hist +100‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
09:3509:35, 10 April 2013 diff hist +62‎ Tutorial13 ‎ Redirected page to Rodin User and Developer Workshop 2013 - Tutorial current
09:3409:34, 10 April 2013 diff hist +1‎ N Tutorial13 ‎ Created page with 'x'
09:3409:34, 10 April 2013 diff hist −54‎ Developer Manual ‎No edit summary
09:3309:33, 10 April 2013 diff hist +3‎ N Rodin User and Developer Workshop 2013 - Tutorial ‎ Created page with 'tbd'
09:3309:33, 10 April 2013 diff hist +54‎ Developer Manual ‎No edit summary
09:3309:33, 10 April 2013 diff hist +11‎ Developer Manual ‎No edit summary
09:2309:23, 10 April 2013 diff hist +2‎ Developer Manual ‎No edit summary
09:2309:23, 10 April 2013 diff hist −26‎ Developer Manual ‎No edit summary
09:2309:23, 10 April 2013 diff hist +80‎ Developer Manual ‎No edit summary

11:0611:06, 24 March 2013 diff hist −94‎ Developer Manual ‎ →‎Git Migration

14:2914:29, 7 March 2013 diff hist −6‎ Download ‎No edit summary

14:3014:30, 1 February 2013 diff hist +83‎ Developer Manual ‎ →‎ProB 2.0
10:2710:27, 1 February 2013 diff hist +69‎ Developer Manual ‎No edit summary

09:5709:57, 29 January 2013 diff hist +1‎ Developer Manual ‎No edit summary
09:5709:57, 29 January 2013 diff hist +22‎ Developer Manual ‎No edit summary

13:4413:44, 23 November 2012 diff hist +46‎ Download ‎No edit summary
13:4413:44, 23 November 2012 diff hist +130‎ Download ‎No edit summary

04:3204:32, 24 October 2012 diff hist +58‎ Download ‎ →‎Timed-CSP Simulator
04:2804:28, 24 October 2012 diff hist +38‎ Download ‎ →‎Timed-CSP Simulator

15:3815:38, 4 October 2012 diff hist −2,890‎ Getting Involved ‎ Replaced content with 'Category:Developer Manual __NOTOC__ see the README in our [https://github.com/bendisposto/prob Github Repository]'

09:5109:51, 13 September 2012 diff hist +252‎ Nm User talk:Marc Buengener ‎ Welcome! current
09:5109:51, 13 September 2012 diff hist 0‎ Nm User:Marc Buengener ‎ Creating user page with biography of new user. current

08:4508:45, 7 September 2012 diff hist +139‎ Jens Bendisposto:Model Checkers ‎No edit summary
08:4408:44, 7 September 2012 diff hist +1,192‎ N Jens Bendisposto:Model Checkers ‎ Created page with '*'''SPIN ''' http://spinroot.com/spin/whatispin.html *'''PAT ''' http://www.comp.nus.edu.sg/~pat/ *'''MALPAS ''' http://www.atkinsglobal.co.uk/sectors-and-services/sectors/d…'
08:4208:42, 7 September 2012 diff hist +2,483‎ N Jens Bendisposto:Conferences ‎ Created page with '* '''VMCAI ''' International Conference on Verification, Model Checking, and Abstract Interpretation * '''CAV ''' International Conference on Computer Aided Verification *…'
08:3808:38, 7 September 2012 diff hist +1‎ User:Jens Bendisposto ‎No edit summary
08:3708:37, 7 September 2012 diff hist +70‎ User:Jens Bendisposto ‎No edit summary