User contributions for Michael Leuschel

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
• 08:4808:48, 22 December 2015 diff hist +23 Download →Nightly Build
• 08:4808:48, 22 December 2015 diff hist +617 Download →Nightly Build

21 December 2015

• 14:0114:01, 21 December 2015 diff hist +94 Download →Nightly Build
• 13:5813:58, 21 December 2015 diff hist +136 Download →Nightly Build
• 13:4913:49, 21 December 2015 diff hist −5,285 State space visualization examples No edit summary
• 13:4813:48, 21 December 2015 diff hist +5,287 State space visualization examples →Threads - Partial Order Reduction
• 13:4513:45, 21 December 2015 diff hist 0 State space visualization examples →Threads - Partial Order Reduction