Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

For Michael Leuschel talk block log uploads logs

08:5808:58, 22 March 2021 diff hist 0‎ Prolog Coding Guidelines ‎ →‎General Guidelines current
08:5708:57, 22 March 2021 diff hist +277‎ Prolog Coding Guidelines ‎ →‎General Guidelines

09:3609:36, 19 March 2021 diff hist +174‎ Prolog Coding Guidelines ‎ →‎Git

09:0809:08, 3 March 2021 diff hist 0‎ VisB ‎ →‎VisB
09:0609:06, 3 March 2021 diff hist −2‎ VisB ‎ →‎VisB
09:0609:06, 3 March 2021 diff hist +1‎ VisB ‎ →‎VisB
09:0609:06, 3 March 2021 diff hist 0‎ VisB ‎ →‎VisB
09:0409:04, 3 March 2021 diff hist 0‎ N File:ProB2UI VisB View.png ‎No edit summary current
09:0409:04, 3 March 2021 diff hist −11‎ VisB ‎ →‎VisB
09:0109:01, 3 March 2021 diff hist 0‎ VisB ‎ →‎VisB
09:0109:01, 3 March 2021 diff hist +7‎ VisB ‎ →‎VisB
09:0009:00, 3 March 2021 diff hist 0‎ VisB ‎ →‎VisB
09:0009:00, 3 March 2021 diff hist 0‎ N File:ProB2JavaFX UI Overview VisB.png ‎No edit summary current
08:5908:59, 3 March 2021 diff hist +50‎ VisB ‎ →‎VisB

08:5808:58, 17 February 2021 diff hist 0‎ VisB ‎ →‎VisB
08:5808:58, 17 February 2021 diff hist +396‎ VisB ‎ →‎VisB
08:5308:53, 17 February 2021 diff hist 0‎ VisB ‎ →‎VisB
08:4808:48, 17 February 2021 diff hist +196‎ VisB ‎ →‎VisB Attributes
08:4708:47, 17 February 2021 diff hist +1‎ VisB ‎ →‎VisB Definitions
08:4608:46, 17 February 2021 diff hist +54‎ VisB ‎ →‎VisB Definitions
08:4608:46, 17 February 2021 diff hist +2‎ External Functions ‎ →‎Standard Libraries provided by ProB
08:4308:43, 17 February 2021 diff hist +762‎ VisB ‎ →‎VisB Examples

07:3307:33, 13 February 2021 diff hist +2‎ Prolog vs Java Comparison ‎ →‎Sample Querys of the Fact Database current
07:1807:18, 13 February 2021 diff hist +164‎ Prolog vs Java Comparison ‎ →‎Sample Querys of the Fact Database
07:1507:15, 13 February 2021 diff hist +698‎ Prolog vs Java Comparison ‎ →‎Sample Querys of the Fact Database
07:0707:07, 13 February 2021 diff hist +10‎ Prolog vs Java Comparison ‎ →‎Sample Querys of the Fact Database
07:0507:05, 13 February 2021 diff hist −2‎ Prolog vs Java Comparison ‎ →‎Sample Querys of the Fact Database
07:0507:05, 13 February 2021 diff hist +546‎ Prolog vs Java Comparison ‎ →‎Prolog's Fact Database

15:1115:11, 4 February 2021 diff hist 0‎ The ProB Animator and Model Checker ‎No edit summary
15:0915:09, 4 February 2021 diff hist +77‎ ProB for Railways ‎ →‎Hybrid Level 3 current
10:1010:10, 4 February 2021 diff hist +39‎ Prolog vs Java Comparison ‎No edit summary
10:0910:09, 4 February 2021 diff hist +327‎ Prolog vs Java Comparison ‎ →‎Prolog's Fact Database
10:0310:03, 4 February 2021 diff hist −1‎ Prolog vs Java Comparison ‎ →‎Prolog's Fact Database
10:0310:03, 4 February 2021 diff hist +4,433‎ N Prolog vs Java Comparison ‎ Created page with " These are my notes and insights while extending the VisB Java code for new features (optional, ignore, repeat, for attributes, inclusion, and better error reporting) and then..."
09:5809:58, 4 February 2021 diff hist +2‎ Why Prolog? ‎ →‎Why Prolog current
09:5709:57, 4 February 2021 diff hist +90‎ Why Prolog? ‎ →‎Why Prolog

12:4212:42, 2 February 2021 diff hist +292‎ VisB ‎ →‎VisB Tips and Tricks
12:4012:40, 2 February 2021 diff hist +40‎ VisB ‎ →‎VisB Tips and Tricks
12:4012:40, 2 February 2021 diff hist +146‎ VisB ‎ →‎VisB Caveats
09:4209:42, 2 February 2021 diff hist +30‎ The ProB Animator and Model Checker ‎No edit summary
09:4009:40, 2 February 2021 diff hist −2‎ The ProB Animator and Model Checker ‎No edit summary
09:4009:40, 2 February 2021 diff hist +33‎ The ProB Animator and Model Checker ‎No edit summary
09:3909:39, 2 February 2021 diff hist +1‎ VisB ‎ →‎VisB Tips and Tricks
09:3909:39, 2 February 2021 diff hist +223‎ VisB ‎ →‎VisB Tips and Tricks
09:3609:36, 2 February 2021 diff hist +823‎ VisB ‎ →‎VisB Tips and Tricks
09:3409:34, 2 February 2021 diff hist −1‎ VisB ‎ →‎VisB Examples
09:3309:33, 2 February 2021 diff hist +434‎ VisB ‎ →‎VisB Tips and Tricks
09:2909:29, 2 February 2021 diff hist +970‎ VisB ‎ →‎VisB Examples
09:2409:24, 2 February 2021 diff hist +2‎ ProB2-UI Release History ‎ →‎Version 1.1.0 (26th of January 2021)
09:2409:24, 2 February 2021 diff hist +7‎ ProB2-UI Release History ‎ →‎Version 1.1.0 (26th of January 2021)
09:2309:23, 2 February 2021 diff hist +106‎ The ProB Animator and Model Checker ‎No edit summary

09:0509:05, 29 January 2021 diff hist +135‎ Download ‎ →‎Latest Release
08:3508:35, 29 January 2021 diff hist +55‎ Download ‎ →‎Latest Release
08:3508:35, 29 January 2021 diff hist +146‎ Download ‎ →‎Latest Release

18:0418:04, 28 January 2021 diff hist −14‎ State Space Visualization ‎ →‎Preferences of the Visualization
18:0218:02, 28 January 2021 diff hist −85‎ Team ‎No edit summary
09:3809:38, 28 January 2021 diff hist +72‎ Summary of B Syntax ‎ →‎Machine header:
09:3609:36, 28 January 2021 diff hist +1‎ Download ‎ →‎Latest Release
09:3609:36, 28 January 2021 diff hist −114‎ Download ‎ →‎Latest Release
09:3509:35, 28 January 2021 diff hist +451‎ Download ‎ →‎Latest Release

17:4317:43, 27 January 2021 diff hist +103‎ Links ‎ →‎Tools using ProB
17:3417:34, 27 January 2021 diff hist +18‎ BSynthesis ‎No edit summary
17:3217:32, 27 January 2021 diff hist +3‎ BSynthesis ‎ →‎Program Synthesis
17:3217:32, 27 January 2021 diff hist −50‎ BSynthesis ‎ →‎Program Synthesis
17:3117:31, 27 January 2021 diff hist −101‎ BSynthesis ‎ →‎Program Synthesis
17:3017:30, 27 January 2021 diff hist +3‎ BSynthesis ‎No edit summary
17:2717:27, 27 January 2021 diff hist +2‎ BSynthesis ‎No edit summary
17:2717:27, 27 January 2021 diff hist +10,821‎ N BSynthesis ‎ Created page with "= Program Synthesis Program synthesis is the task of generating executable programs from a given specification usually considering a domain specific language. There are many..."
17:2717:27, 27 January 2021 diff hist +2‎ Developer Manual ‎ →‎ProB Java API (aka ProB 2.0)
17:2717:27, 27 January 2021 diff hist +56‎ Developer Manual ‎ →‎ProB Java API (aka ProB 2.0)
17:1217:12, 27 January 2021 diff hist −56‎ Team ‎No edit summary
17:1017:10, 27 January 2021 diff hist −13‎ Team ‎No edit summary
17:0717:07, 27 January 2021 diff hist +1‎ Euler Problem 67 - Maximum Path Sum II ‎No edit summary current
17:0217:02, 27 January 2021 diff hist +49‎ ProB Java API Developer Manual ‎No edit summary current
16:5816:58, 27 January 2021 diff hist +6‎ Tutorial Various Optimizations ‎No edit summary
16:5016:50, 27 January 2021 diff hist 0‎ ProBLicence ‎ →‎ProB Licence
16:3716:37, 27 January 2021 diff hist −12‎ Using ProB with KODKOD ‎No edit summary current
16:3316:33, 27 January 2021 diff hist −10‎ Peaceable Armies of Queens ‎No edit summary current
16:3116:31, 27 January 2021 diff hist −5‎ Alloy ‎No edit summary
16:3016:30, 27 January 2021 diff hist −1‎ Download ‎ →‎Latest Release
16:2916:29, 27 January 2021 diff hist −64‎ Download ‎ →‎Latest Release
16:2716:27, 27 January 2021 diff hist +63‎ Tutorial ‎No edit summary
14:2914:29, 27 January 2021 diff hist +21‎ The ProB Animator and Model Checker ‎ →‎Versions of ProB
14:2814:28, 27 January 2021 diff hist +11‎ The ProB Animator and Model Checker ‎ →‎Versions of ProB
14:2214:22, 27 January 2021 diff hist −43‎ ProB2-UI ‎No edit summary
14:2014:20, 27 January 2021 diff hist +1‎ VisB ‎ →‎Installing VisB Plugin for older ProB2UI versions
14:2014:20, 27 January 2021 diff hist 0‎ ProB2-UI Release History ‎No edit summary
14:1914:19, 27 January 2021 diff hist +3‎ Download ‎ →‎ProB2 UI using Java FX
14:0514:05, 27 January 2021 diff hist +2‎ Download ‎ →‎ProB2 UI using Java FX
14:0514:05, 27 January 2021 diff hist +9‎ Download ‎ →‎ProB2 UI using Java FX
14:0314:03, 27 January 2021 diff hist 0‎ Download ‎ →‎ProB2 UI using Java FX
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

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