User contributions for Michael Leuschel

17 February 2021

• 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

13 February 2021

• 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

4 February 2021

• 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

2 February 2021

• 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

29 January 2021

• 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

28 January 2021

• 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

27 January 2021

• 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..."