User contributions for Michael Leuschel

2 February 2016

• 07:0507:05, 2 February 2016 diff hist 0 File:Jars Panes.png Michael Leuschel uploaded a new version of File:Jars Panes.png current
• 07:0507:05, 2 February 2016 diff hist 0 N File:ProB Goal Found.png No edit summary
• 07:0407:04, 2 February 2016 diff hist 0 N File:Jars Panes.png No edit summary
• 07:0407:04, 2 February 2016 diff hist 0 N File:ProB ModelCheckGoalBox.png No edit summary current
• 07:0307:03, 2 February 2016 diff hist +2,224 N Die Hard Jugs Puzzle Created page with "This is the B model of a puzzle from the movie "Die Hard with a Vengeance". This [https://www.youtube.com/watch?v=BVtQNK_ZUJg|clip shows Bruce Willis and Samuel Jackson having..."
• 06:5506:55, 2 February 2016 diff hist +27 User Manual →Sample Models

1 February 2016

• 20:3020:30, 1 February 2016 diff hist +41 User Manual →Sample Models

21 January 2016

• 09:1409:14, 21 January 2016 diff hist +241 ProB for Event-B No edit summary
• 09:1209:12, 21 January 2016 diff hist +954 N ProB for Event-B Created page with "In addition to classical B (aka B for software development), ProB also supports Event-B and the Rodin platform. ProB can be installed as a plugin for Rodin. See the tutorial p..."
• 09:1009:10, 21 January 2016 diff hist +56 Template:User Manual Index No edit summary

20 January 2016

• 18:4818:48, 20 January 2016 diff hist +144 Argumentation Theory No edit summary
• 18:4518:45, 20 January 2016 diff hist +8 Argumentation Theory →A more elegant encoding
• 18:4218:42, 20 January 2016 diff hist 0 N File:ProB Argumentation CustomDot.png No edit summary current
• 18:4118:41, 20 January 2016 diff hist +601 Argumentation Theory No edit summary
• 18:3418:34, 20 January 2016 diff hist +63 Argumentation Theory No edit summary
• 15:4215:42, 20 January 2016 diff hist +41 Argumentation Theory →A more elegant encoding
• 15:4215:42, 20 January 2016 diff hist −41 Argumentation Theory →A more elegant encoding
• 15:4115:41, 20 January 2016 diff hist 0 Argumentation Theory →A more elegant encoding
• 15:4115:41, 20 January 2016 diff hist 0 N File:ProBRodinArgumentationState.png No edit summary current
• 15:4115:41, 20 January 2016 diff hist +778 Argumentation Theory →A more elegant encoding
• 15:3515:35, 20 January 2016 diff hist +840 Argumentation Theory No edit summary
• 15:2915:29, 20 January 2016 diff hist −46 Argumentation Theory No edit summary
• 15:2215:22, 20 January 2016 diff hist +2 Argumentation Theory No edit summary
• 15:1515:15, 20 January 2016 diff hist 0 File:ProB Argumentation Screenshot1.png Michael Leuschel uploaded a new version of File:ProB Argumentation Screenshot1.png current
• 15:1515:15, 20 January 2016 diff hist −1 Argumentation Theory No edit summary
• 15:0815:08, 20 January 2016 diff hist −2 Argumentation Theory No edit summary
• 15:0615:06, 20 January 2016 diff hist 0 N File:ProB Argumentation Dot3.png No edit summary current
• 15:0515:05, 20 January 2016 diff hist 0 N File:ProB Argumentation Dot2.png No edit summary current
• 15:0515:05, 20 January 2016 diff hist 0 N File:ProB Argumentation Dot1.png No edit summary current
• 15:0515:05, 20 January 2016 diff hist +151 Argumentation Theory No edit summary
• 15:0315:03, 20 January 2016 diff hist +42 Argumentation Theory No edit summary
• 15:0315:03, 20 January 2016 diff hist +197 Argumentation Theory No edit summary
• 15:0015:00, 20 January 2016 diff hist +4 Argumentation Theory No edit summary
• 14:5914:59, 20 January 2016 diff hist +1,954 Argumentation Theory No edit summary
• 14:4914:49, 20 January 2016 diff hist +1 Argumentation Theory No edit summary
• 14:4814:48, 20 January 2016 diff hist +249 Argumentation Theory No edit summary
• 14:4614:46, 20 January 2016 diff hist +250 Argumentation Theory No edit summary
• 14:3714:37, 20 January 2016 diff hist 0 Argumentation Theory No edit summary
• 14:3614:36, 20 January 2016 diff hist 0 N File:ProB Argumentation Dot.png No edit summary current
• 14:3614:36, 20 January 2016 diff hist 0 N File:ProB Argumentation VisCurStateAsGraph.png No edit summary current
• 14:3614:36, 20 January 2016 diff hist 0 N File:ProB Argumentation Screenshot2.png No edit summary current
• 14:3514:35, 20 January 2016 diff hist 0 N File:ProB Argumentation Screenshot1.png No edit summary
• 14:3514:35, 20 January 2016 diff hist +1,012 Argumentation Theory No edit summary
• 14:2814:28, 20 January 2016 diff hist +739 Argumentation Theory No edit summary
• 14:2514:25, 20 January 2016 diff hist +1,366 N Argumentation Theory Created page with "Below we try to model some concepts of argumentation theory in B. The examples try to show that set theory can be used to model some aspects of argumentation theory quite natu..."
• 14:2114:21, 20 January 2016 diff hist +27 User Manual →Sample Models

13 January 2016

• 14:1014:10, 13 January 2016 diff hist +617 TLC →How to use TLC

22 December 2015

• 16:1916:19, 22 December 2015 diff hist −1 State space visualization examples →RushHour current
• 16:1916:19, 22 December 2015 diff hist 0 N File:RushHour full sfdp.png No edit summary current
• 16:1816:18, 22 December 2015 diff hist +252 State space visualization examples →RushHour