Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

For Michael Leuschel talk block log uploads logs

14:0314:03, 27 January 2021 diff hist +91‎ Download ‎ →‎ProB2 UI using Java FX
14:0214:02, 27 January 2021 diff hist +92‎ ProB2-UI ‎No edit summary
14:0114:01, 27 January 2021 diff hist +85‎ ProB2-UI ‎No edit summary
14:0014:00, 27 January 2021 diff hist +20‎ ProB2-UI Release History ‎ →‎Version 1.0.0
13:5713:57, 27 January 2021 diff hist 0‎ ProB2-UI Release History ‎No edit summary
13:5613:56, 27 January 2021 diff hist +9‎ ProB2-UI ‎No edit summary
13:5413:54, 27 January 2021 diff hist +37‎ N ReleaseHistory ‎ Michael Leuschel moved page ReleaseHistory to ProB2UI Release History: missing ProB2UI current Tag: New redirect
13:5413:54, 27 January 2021 diff hist 0‎ m ProB2-UI Release History ‎ Michael Leuschel moved page ReleaseHistory to ProB2UI Release History: missing ProB2UI
13:5213:52, 27 January 2021 diff hist −2‎ ProB2-UI Release History ‎No edit summary
13:5213:52, 27 January 2021 diff hist −4‎ ProB2-UI Release History ‎No edit summary
13:5213:52, 27 January 2021 diff hist +201‎ ProB2-UI Release History ‎No edit summary
13:5013:50, 27 January 2021 diff hist −3‎ ProB2-UI Release History ‎ →‎Version 1.1.0 (26th of January 2021)
13:5013:50, 27 January 2021 diff hist +4‎ ProB2-UI Release History ‎No edit summary
13:4913:49, 27 January 2021 diff hist +1,341‎ N ProB2-UI Release History ‎ Created page with " ## Version 1.1.0 (26th of January 2021) ## - now contains VisB directly in the application, VisB has been extended considerably now supporting hovers, more attributes,..."
13:4813:48, 27 January 2021 diff hist +49‎ ProB2-UI ‎No edit summary
13:1313:13, 27 January 2021 diff hist −1‎ Links ‎ →‎Related Tools
13:1213:12, 27 January 2021 diff hist −1‎ Links ‎ →‎Related Tools
13:1213:12, 27 January 2021 diff hist +20‎ Links ‎ →‎Related Tools

18:1218:12, 26 January 2021 diff hist +107‎ Bugs ‎No edit summary
16:0516:05, 26 January 2021 diff hist +24‎ Download ‎ →‎ProB2 UI using Java FX
14:5114:51, 26 January 2021 diff hist +2‎ Download ‎ →‎ProB2 UI using Java FX
14:3214:32, 26 January 2021 diff hist +106‎ Download ‎ →‎ProB2 UI using Java FX
14:2814:28, 26 January 2021 diff hist −26‎ Download ‎ →‎ProB2 UI using Java FX
13:5713:57, 26 January 2021 diff hist −37‎ Links ‎No edit summary
13:5513:55, 26 January 2021 diff hist −8‎ Download ‎ →‎Sourcecode
13:5013:50, 26 January 2021 diff hist +16‎ Bugs ‎No edit summary
13:4613:46, 26 January 2021 diff hist −75‎ User Manual ‎No edit summary
13:4413:44, 26 January 2021 diff hist −37‎ TLA ‎No edit summary
11:5211:52, 26 January 2021 diff hist −124‎ Download ‎ →‎ProB2 UI using Java FX
11:1811:18, 26 January 2021 diff hist +24‎ ProB2-UI ‎No edit summary
11:1711:17, 26 January 2021 diff hist −33‎ ProB2-UI ‎No edit summary
11:1511:15, 26 January 2021 diff hist +149‎ ProB2-UI ‎No edit summary
11:0611:06, 26 January 2021 diff hist −1‎ Download ‎ →‎ProB2 UI using Java FX
11:0611:06, 26 January 2021 diff hist −3‎ Download ‎ →‎ProB2 UI using Java FX
11:0511:05, 26 January 2021 diff hist 0‎ Download ‎ →‎ProB2 UI using Java FX
11:0411:04, 26 January 2021 diff hist +2‎ Download ‎ →‎ProB2 UI using Java FX
11:0411:04, 26 January 2021 diff hist +1‎ Download ‎ →‎ProB2 UI using Java FX
09:2009:20, 26 January 2021 diff hist −149‎ Download ‎ →‎ProB2 UI using Java FX
09:1909:19, 26 January 2021 diff hist −4‎ Download ‎ →‎ProB2 UI using Java FX
09:1909:19, 26 January 2021 diff hist −3‎ Download ‎ →‎ProB2 UI using Java FX
09:1709:17, 26 January 2021 diff hist −1‎ Download ‎ →‎ProB2 UI using Java FX
09:1609:16, 26 January 2021 diff hist +21‎ Download ‎ →‎ProB2 UI using Java FX
09:1609:16, 26 January 2021 diff hist −455‎ Download ‎ →‎ProB2 UI using Java FX
09:1109:11, 26 January 2021 diff hist +2‎ Download ‎ →‎ProB2 UI using Java FX

10:1210:12, 22 January 2021 diff hist −6‎ Download ‎ →‎Latest Release
10:1210:12, 22 January 2021 diff hist +1‎ Download ‎ →‎Latest Release
10:1110:11, 22 January 2021 diff hist −6‎ Download ‎ →‎Latest Release
10:1010:10, 22 January 2021 diff hist +38‎ Download ‎ →‎Latest Release
10:0810:08, 22 January 2021 diff hist +1,827‎ DownloadPriorVersions ‎No edit summary

10:3710:37, 13 January 2021 diff hist +779‎ Running ProB from source ‎ →‎ProB Prolog compile time flags
10:3010:30, 13 January 2021 diff hist +683‎ Prolog Coding Guidelines ‎ →‎Git
10:0810:08, 13 January 2021 diff hist −37‎ Prolog Coding Guidelines ‎ →‎Useful Bash Aliases
10:0110:01, 13 January 2021 diff hist +271‎ Running ProB from source ‎ →‎Building ProB Extensions
09:5309:53, 13 January 2021 diff hist 0‎ Running ProB from source ‎No edit summary
09:5209:52, 13 January 2021 diff hist +115‎ Running ProB from source ‎ →‎Building ProB Extensions
09:4909:49, 13 January 2021 diff hist +129‎ Running ProB from source ‎No edit summary
09:4609:46, 13 January 2021 diff hist −3‎ Running ProB from source ‎ →‎Running ProB from Prolog
09:4509:45, 13 January 2021 diff hist −10‎ Running ProB from source ‎No edit summary
09:4409:44, 13 January 2021 diff hist −415‎ Running ProB from source ‎No edit summary
09:3809:38, 13 January 2021 diff hist +19‎ Running ProB from source ‎ →‎Starting probcli command-line version
09:3809:38, 13 January 2021 diff hist +44‎ Running ProB from source ‎No edit summary
09:3709:37, 13 January 2021 diff hist +265‎ Running ProB from source ‎No edit summary
09:3209:32, 13 January 2021 diff hist +54‎ Running ProB from source ‎ →‎Running ProB from Prolog
09:0009:00, 13 January 2021 diff hist +50‎ Running ProB from source ‎ →‎Running ProB from Prolog
08:5908:59, 13 January 2021 diff hist −1,069‎ Running ProB from source ‎ →‎Source Code
08:5808:58, 13 January 2021 diff hist −22‎ Template:ProBSourceCode ‎No edit summary
08:5808:58, 13 January 2021 diff hist −1,159‎ Developer Manual ‎No edit summary
08:5808:58, 13 January 2021 diff hist +22‎ Template:ProBSourceCode ‎No edit summary
08:5708:57, 13 January 2021 diff hist +1,157‎ N Template:ProBSourceCode ‎ Created page with " The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: [http://www3.hhu.de/stups/downloads/prob/source/ http://www3.hhu.de/..."
08:5608:56, 13 January 2021 diff hist +20‎ Developer Manual ‎ →‎ProB Source Code
08:5508:55, 13 January 2021 diff hist −22‎ Developer Manual ‎ →‎ProB Prolog Source Code
08:5408:54, 13 January 2021 diff hist −4,342‎ Getting Involved ‎ Redirected page to Running ProB from source current
08:5308:53, 13 January 2021 diff hist +39‎ Running ProB from source ‎No edit summary
08:5208:52, 13 January 2021 diff hist +24‎ Running ProB from source ‎ →‎Running ProB from Prolog
08:5208:52, 13 January 2021 diff hist −29‎ Running ProB from source ‎ →‎Running ProB from Prolog
08:5108:51, 13 January 2021 diff hist +3,931‎ Running ProB from source ‎No edit summary
08:5008:50, 13 January 2021 diff hist −113‎ Getting Involved ‎No edit summary
08:4808:48, 13 January 2021 diff hist −276‎ Developer Manual ‎No edit summary
08:4708:47, 13 January 2021 diff hist +1,183‎ Developer Manual ‎No edit summary

08:5608:56, 5 January 2021 diff hist +26‎ The ProB Animator and Model Checker ‎No edit summary
08:5608:56, 5 January 2021 diff hist +28‎ The ProB Animator and Model Checker ‎No edit summary

17:1117:11, 29 December 2020 diff hist +1‎ VisB ‎ →‎Replication

21:2021:20, 28 December 2020 diff hist +50‎ VisB ‎ →‎Replication

16:5716:57, 27 December 2020 diff hist +3‎ VisB ‎ →‎Replication
16:5716:57, 27 December 2020 diff hist +427‎ VisB ‎ →‎Replication
16:4916:49, 27 December 2020 diff hist +980‎ VisB ‎ →‎VisB Attributes
16:4416:44, 27 December 2020 diff hist +140‎ VisB ‎ →‎VisB Attributes

10:1310:13, 23 December 2020 diff hist +1‎ Download ‎ →‎Tcl/Tk on Mac OS/X
10:1210:12, 23 December 2020 diff hist +2‎ Download ‎ →‎Tcl/Tk on Mac OS/X
10:1210:12, 23 December 2020 diff hist +155‎ Download ‎ →‎Tcl/Tk on Mac OS/X
10:1010:10, 23 December 2020 diff hist +133‎ Bugs ‎No edit summary

14:4514:45, 17 December 2020 diff hist +119‎ Download ‎ →‎ProB2 UI using Java FX

15:5415:54, 16 December 2020 diff hist +344‎ Download ‎ →‎Latest Release
15:5115:51, 16 December 2020 diff hist +195‎ Download ‎ →‎ProB2 UI using Java FX
12:5612:56, 16 December 2020 diff hist −43‎ The ProB Animator and Model Checker ‎ →‎Features
12:0812:08, 16 December 2020 diff hist +127‎ The ProB Animator and Model Checker ‎No edit summary
12:0812:08, 16 December 2020 diff hist +1‎ Download ‎ →‎Short Release History
11:5611:56, 16 December 2020 diff hist +2,631‎ ProB Release History ‎No edit summary
11:5511:55, 16 December 2020 diff hist +182‎ Download ‎ →‎Short Release History
11:4711:47, 16 December 2020 diff hist −64‎ Download ‎ →‎Latest Release
11:2611:26, 16 December 2020 diff hist +24‎ Download ‎ →‎Latest Release
11:2211:22, 16 December 2020 diff hist −77‎ Download ‎ →‎Latest Release
11:1911:19, 16 December 2020 diff hist +1,793‎ DownloadPriorVersions ‎ →‎Prior Versions of ProB

07:5207:52, 15 December 2020 diff hist −4‎ ProB's Prolog Datastructures ‎ →‎Data Values current
07:5107:51, 15 December 2020 diff hist +334‎ ProB's Prolog Datastructures ‎ →‎Data Values
07:4907:49, 15 December 2020 diff hist −2‎ ProB's Prolog Datastructures ‎ →‎AST types
07:4907:49, 15 December 2020 diff hist +5‎ ProB's Prolog Datastructures ‎ →‎AST types
07:4807:48, 15 December 2020 diff hist +62‎ ProB's Prolog Datastructures ‎ →‎AST types
07:4807:48, 15 December 2020 diff hist +1‎ ProB's Prolog Datastructures ‎ →‎AST types
07:4807:48, 15 December 2020 diff hist +5‎ ProB's Prolog Datastructures ‎ →‎AST types
07:4707:47, 15 December 2020 diff hist −88‎ Developer Manual ‎ →‎ProB Prolog Source Code

10:4310:43, 2 December 2020 diff hist +90‎ VisB ‎ →‎VisB Attributes

16:5816:58, 27 November 2020 diff hist +135‎ VisB ‎No edit summary
16:5416:54, 27 November 2020 diff hist +296‎ VisB ‎ →‎VisB Attributes

14:0314:03, 24 November 2020 diff hist +43‎ Links ‎ →‎Other Links

14:2014:20, 19 November 2020 diff hist +14‎ Summary of B Syntax ‎ →‎Reals:

14:1414:14, 18 November 2020 diff hist +2‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
14:1414:14, 18 November 2020 diff hist +203‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
14:0214:02, 18 November 2020 diff hist +214‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
14:0014:00, 18 November 2020 diff hist +271‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin

13:0113:01, 5 November 2020 diff hist +948‎ Summary of B Syntax ‎ →‎Trees:
13:0013:00, 5 November 2020 diff hist +479‎ Summary of B Syntax ‎ →‎Strings:
12:5912:59, 5 November 2020 diff hist +82‎ Summary of B Syntax ‎ →‎Numbers:

15:1915:19, 3 November 2020 diff hist +33‎ Download ‎ →‎ProB2 UI using Java FX

11:2911:29, 2 November 2020 diff hist −2‎ Download ‎ →‎Latest Release
11:2811:28, 2 November 2020 diff hist −14‎ Download ‎ →‎Latest Release

14:1214:12, 29 October 2020 diff hist +4‎ Using ProB with Z3 ‎ →‎How to install Z3 for ProB
09:1309:13, 29 October 2020 diff hist +10‎ Download ‎ →‎ProB2 UI using Java FX
09:1109:11, 29 October 2020 diff hist +325‎ Download ‎ →‎ProB2 UI using Java FX
08:5508:55, 29 October 2020 diff hist +1‎ Download ‎ →‎Latest Beta Release
08:5408:54, 29 October 2020 diff hist +172‎ Download ‎ →‎Latest Beta Release

14:4514:45, 27 October 2020 diff hist +83‎ Using ProB with Z3 ‎ →‎Examples
10:3610:36, 27 October 2020 diff hist +24‎ Using ProB with Z3 ‎ →‎Examples
10:3010:30, 27 October 2020 diff hist −9‎ Using ProB with Z3 ‎ →‎How to install Z3 for ProB

08:3508:35, 14 October 2020 diff hist +328‎ VisB ‎ →‎VisB Attributes

11:1411:14, 13 October 2020 diff hist +1‎ VisB ‎ →‎VisB Attributes
11:1411:14, 13 October 2020 diff hist +195‎ VisB ‎ →‎VisB Attributes

14:4214:42, 12 October 2020 diff hist +73‎ VisB ‎ →‎VisB Attributes
14:4114:41, 12 October 2020 diff hist −2‎ VisB ‎ →‎VisB Attributes
14:4114:41, 12 October 2020 diff hist +170‎ VisB ‎ →‎VisB Attributes
14:3814:38, 12 October 2020 diff hist +209‎ VisB ‎ →‎VisB Attributes
14:3714:37, 12 October 2020 diff hist +821‎ VisB ‎ →‎VisB Attributes

15:5615:56, 9 October 2020 diff hist +4‎ VisB ‎ →‎VisB Attributes
15:5615:56, 9 October 2020 diff hist +532‎ VisB ‎ →‎VisB Attributes
12:0012:00, 9 October 2020 diff hist −3‎ ProB for Railways ‎ →‎Further Industrial Uses of ProB for Data Validation
11:5911:59, 9 October 2020 diff hist +8‎ ProB for Railways ‎ →‎Hybrid Level 3
11:5911:59, 9 October 2020 diff hist +121‎ ProB for Railways ‎ →‎Hybrid Level 3
11:5811:58, 9 October 2020 diff hist +82‎ ProB for Railways ‎ →‎Hybrid Level 3

10:3210:32, 8 October 2020 diff hist −1‎ VisB ‎ →‎VisB Attributes
10:3110:31, 8 October 2020 diff hist +749‎ VisB ‎ →‎VisB Attributes
10:2710:27, 8 October 2020 diff hist +310‎ VisB ‎ →‎VisB Examples
10:2510:25, 8 October 2020 diff hist +22‎ VisB ‎ →‎VisB Examples

08:3608:36, 23 September 2020 diff hist +24‎ Well-Definedness Checking ‎ →‎Generating and Checking Well-Definedness Proof Obligations in ProB

15:0915:09, 21 September 2020 diff hist +47‎ Using ProB with Z3 ‎ →‎More details
15:0915:09, 21 September 2020 diff hist +121‎ Using ProB with Z3 ‎ →‎Examples
15:0715:07, 21 September 2020 diff hist +273‎ Using ProB with Z3 ‎ →‎How to install Z3 for ProB
14:4914:49, 21 September 2020 diff hist 0‎ Download ‎ →‎Latest Beta Release

09:5909:59, 17 September 2020 diff hist 0‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
09:5809:58, 17 September 2020 diff hist +26‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
09:5809:58, 17 September 2020 diff hist 0‎ N File:ProB AtelierB Proof.png ‎No edit summary current
09:5209:52, 17 September 2020 diff hist 0‎ N File:ProB AtelierB Resource.png ‎No edit summary current
09:5209:52, 17 September 2020 diff hist −14‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
09:5109:51, 17 September 2020 diff hist −12‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
09:5109:51, 17 September 2020 diff hist 0‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
09:5009:50, 17 September 2020 diff hist −1‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
09:5009:50, 17 September 2020 diff hist +98‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
09:4809:48, 17 September 2020 diff hist +60‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
09:4809:48, 17 September 2020 diff hist +202‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
09:4009:40, 17 September 2020 diff hist +288‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin

07:4507:45, 10 September 2020 diff hist +1‎ Induction Proofs in B ‎ →‎Induction and B

14:2314:23, 8 September 2020 diff hist +1‎ Download ‎ →‎ProB2 UI using Java FX
14:2314:23, 8 September 2020 diff hist −2‎ Download ‎ →‎ProB2 UI using Java FX
14:2214:22, 8 September 2020 diff hist +61‎ Download ‎ →‎ProB2 UI using Java FX
14:2014:20, 8 September 2020 diff hist +71‎ Download ‎ →‎ProB2 UI using Java FX

09:0209:02, 5 September 2020 diff hist −15‎ The ProB Animator and Model Checker ‎ →‎Versions of ProB
06:5906:59, 5 September 2020 diff hist −18‎ The ProB Animator and Model Checker ‎ →‎Implementation
06:5806:58, 5 September 2020 diff hist −65‎ The ProB Animator and Model Checker ‎No edit summary
06:5706:57, 5 September 2020 diff hist −233‎ The ProB Animator and Model Checker ‎No edit summary
06:5106:51, 5 September 2020 diff hist −200‎ The ProB Animator and Model Checker ‎No edit summary
06:5006:50, 5 September 2020 diff hist −69‎ The ProB Animator and Model Checker ‎No edit summary
06:4906:49, 5 September 2020 diff hist −124‎ The ProB Animator and Model Checker ‎No edit summary

11:3711:37, 21 August 2020 diff hist +9‎ Download ‎ →‎ProB2 UI using Java FX
10:4810:48, 21 August 2020 diff hist +160‎ Download ‎ →‎ProB2 UI using Java FX

07:0407:04, 18 July 2020 diff hist 0‎ Download ‎ →‎Latest Beta Release

09:2309:23, 15 July 2020 diff hist 0‎ File:Wd prob.pdf ‎ Michael Leuschel uploaded a new version of File:Wd prob.pdf current

12:4612:46, 9 July 2020 diff hist 0‎ File:Wd prob.pdf ‎ Michael Leuschel uploaded a new version of File:Wd prob.pdf
12:4112:41, 9 July 2020 diff hist 0‎ File:Wd prob.pdf ‎ Michael Leuschel uploaded a new version of File:Wd prob.pdf
09:2509:25, 9 July 2020 diff hist 0‎ File:Wd prob.pdf ‎ Michael Leuschel uploaded a new version of File:Wd prob.pdf
09:2309:23, 9 July 2020 diff hist 0‎ N File:Wd prob.pdf ‎No edit summary
09:2309:23, 9 July 2020 diff hist +128‎ Well-Definedness Checking ‎ →‎Generating and Checking Well-Definedness Proof Obligations in ProB
08:5508:55, 9 July 2020 diff hist −13‎ Well-Definedness Checking ‎ →‎Generating and Checking Well-Definedness Proof Obligations in ProB

05:1305:13, 7 July 2020 diff hist +116‎ Well-Definedness Checking ‎ →‎ProB2-UI

14:4214:42, 6 July 2020 diff hist 0‎ Download ‎ →‎Latest Beta Release

14:5614:56, 3 July 2020 diff hist +14‎ Developer Manual ‎No edit summary
14:5514:55, 3 July 2020 diff hist 0‎ Developer Manual ‎No edit summary

08:2008:20, 17 June 2020 diff hist +329‎ Editors for ProB ‎ →‎External Editors
08:1908:19, 17 June 2020 diff hist +2‎ Well-Definedness Checking ‎ →‎VSCode
07:4707:47, 17 June 2020 diff hist 0‎ N File:WD VSCode Example2.png ‎No edit summary current
07:4707:47, 17 June 2020 diff hist 0‎ N File:WD VSCode Example1.png ‎No edit summary current
07:4607:46, 17 June 2020 diff hist 0‎ N File:WD VSCode Settings.png ‎No edit summary current
07:4607:46, 17 June 2020 diff hist +372‎ Well-Definedness Checking ‎No edit summary
07:4207:42, 17 June 2020 diff hist +329‎ Well-Definedness Checking ‎No edit summary

09:3109:31, 15 June 2020 diff hist +7‎ Test Case Generation ‎ →‎References
09:3009:30, 15 June 2020 diff hist +73‎ Test Case Generation ‎ →‎References
09:2709:27, 15 June 2020 diff hist +172‎ Test Case Generation ‎ →‎References
09:2309:23, 15 June 2020 diff hist +12‎ Test Case Generation ‎ →‎References
09:2309:23, 15 June 2020 diff hist +543‎ Test Case Generation ‎No edit summary

10:3110:31, 12 June 2020 diff hist +3,213‎ LTSmin ‎ →‎ProB LTSmin CLI-Commands

08:0008:00, 10 June 2020 diff hist −1‎ LTSmin ‎ →‎ProB LTSmin CLI-Commands
08:0008:00, 10 June 2020 diff hist +1,217‎ LTSmin ‎ →‎ProB LTSmin CLI-Commands
07:5007:50, 10 June 2020 diff hist +58‎ LTSmin ‎ →‎LTSmin Extension of ProB
07:4707:47, 10 June 2020 diff hist −4‎ LTSmin ‎ →‎ProB LTSmin CLI-Commands
07:4607:46, 10 June 2020 diff hist +5‎ LTSmin ‎ →‎ProB LTSmin CLI-Commands
07:4607:46, 10 June 2020 diff hist +8‎ LTSmin ‎ →‎ProB LTSmin CLI-Commands
07:4607:46, 10 June 2020 diff hist +236‎ LTSmin ‎ →‎ProB LTSmin CLI-Commands
07:4107:41, 10 June 2020 diff hist +1,025‎ LTSmin ‎ →‎LTSmin Extension of ProB

12:4612:46, 9 June 2020 diff hist 0‎ The ProB Animator and Model Checker ‎ →‎Implementation
12:4612:46, 9 June 2020 diff hist +20‎ N LTSMin ‎ Michael Leuschel moved page LTSMin to LTSmin current
12:4612:46, 9 June 2020 diff hist 0‎ m LTSmin ‎ Michael Leuschel moved page LTSMin to LTSmin
12:4412:44, 9 June 2020 diff hist 0‎ LTSmin ‎ →‎LTSmin Extension of ProB
12:4412:44, 9 June 2020 diff hist 0‎ N File:ProBLTSMinTk.png ‎No edit summary current
12:4312:43, 9 June 2020 diff hist +21‎ LTSmin ‎ →‎LTSmin Extension of ProB
12:4212:42, 9 June 2020 diff hist +37‎ LTSmin ‎ →‎LTSmin Extension of ProB
12:0112:01, 9 June 2020 diff hist +25‎ LTSmin ‎ →‎LTSmin Extension of ProB
12:0012:00, 9 June 2020 diff hist +632‎ LTSmin ‎ →‎LTSmin Extension of ProB
11:5411:54, 9 June 2020 diff hist +37‎ The ProB Animator and Model Checker ‎ →‎Implementation
11:5411:54, 9 June 2020 diff hist +51‎ LTSmin ‎ →‎LTSmin Extension of ProB
11:5311:53, 9 June 2020 diff hist +569‎ N LTSmin ‎ Created page with "== LTSmin Extension of ProB == In order to set up LTSmin, do the following: * Download the latest LTSmin release: https://github.com/utwente-fmt/ltsmin/releases and extract..."
11:5211:52, 9 June 2020 diff hist +62‎ Template:User Manual Index ‎No edit summary

13:0813:08, 27 May 2020 diff hist 0‎ VisB ‎ →‎VisB
13:0813:08, 27 May 2020 diff hist +126‎ VisB ‎ →‎VisB
13:0613:06, 27 May 2020 diff hist +1‎ VisB ‎ →‎Citing VisB
13:0613:06, 27 May 2020 diff hist +529‎ VisB ‎ →‎VisB
12:5512:55, 27 May 2020 diff hist +94‎ VisB ‎ →‎VisB
08:1608:16, 27 May 2020 diff hist +135‎ User Manual ‎ →‎Sample Models

14:5814:58, 25 May 2020 diff hist −6‎ Summary of B Syntax ‎ →‎Machine inclusion:
14:5714:57, 25 May 2020 diff hist 0‎ Summary of B Syntax ‎ →‎Machine inclusion:
14:5714:57, 25 May 2020 diff hist −102‎ Summary of B Syntax ‎ →‎Machine inclusion:
14:4314:43, 25 May 2020 diff hist 0‎ Summary of B Syntax ‎ →‎Definitions:
14:4314:43, 25 May 2020 diff hist −2‎ Summary of B Syntax ‎ →‎Definitions:
14:4214:42, 25 May 2020 diff hist 0‎ Summary of B Syntax ‎ →‎Definitions:
14:4214:42, 25 May 2020 diff hist +14‎ Summary of B Syntax ‎ →‎Definitions:
14:4214:42, 25 May 2020 diff hist +1,735‎ Summary of B Syntax ‎ →‎Definitions:
14:4014:40, 25 May 2020 diff hist +549‎ Summary of B Syntax ‎ →‎Comments and Pragmas

07:5307:53, 22 May 2020 diff hist +17‎ User Manual ‎ →‎Sample Models
07:5307:53, 22 May 2020 diff hist +539‎ User Manual ‎ →‎Sample Models
07:5007:50, 22 May 2020 diff hist +297‎ User Manual ‎ →‎Sample Models

08:0508:05, 14 May 2020 diff hist +100‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
08:0408:04, 14 May 2020 diff hist +72‎ Summary of B Syntax ‎ →‎Differences with AtelierB/B4Free
08:0408:04, 14 May 2020 diff hist +94‎ Summary of B Syntax ‎ →‎Relations:

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