User contributions for Michael Leuschel

18 November 2020

• 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

5 November 2020

• 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:

3 November 2020

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

2 November 2020

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

29 October 2020

• 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

27 October 2020

• 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

14 October 2020

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

13 October 2020

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

12 October 2020

• 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

9 October 2020

• 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

8 October 2020

• 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

23 September 2020

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

21 September 2020

• 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

17 September 2020

• 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