User contributions for Michael Leuschel

26 April 2016

• 07:2907:29, 26 April 2016 diff hist −2 Download →Latest Release

23 April 2016

• 08:1908:19, 23 April 2016 diff hist −267 ProB Release History No edit summary
• 08:1808:18, 23 April 2016 diff hist +44,067 N ProB Release History Created page with "Full ProB release history until release 1.6.0: <pre> ProB: A B-animator, model checker, and constraint solver -------------------------------------------------------- (C) 20..."
• 08:1808:18, 23 April 2016 diff hist +79 Download →Short Release History
• 08:1608:16, 23 April 2016 diff hist +8 The ProB Animator and Model Checker No edit summary
• 08:1608:16, 23 April 2016 diff hist +352 Download →Short Release History
• 08:0608:06, 23 April 2016 diff hist −2 The ProB Animator and Model Checker No edit summary
• 08:0508:05, 23 April 2016 diff hist +1 The ProB Animator and Model Checker No edit summary
• 08:0408:04, 23 April 2016 diff hist −2 ProBLicence →ProB Licence
• 08:0408:04, 23 April 2016 diff hist +104 ProBLicence →ProB Licence
• 08:0208:02, 23 April 2016 diff hist −12 The ProB Animator and Model Checker No edit summary
• 08:0008:00, 23 April 2016 diff hist +362 The ProB Animator and Model Checker No edit summary
• 07:5207:52, 23 April 2016 diff hist +36 Download →Latest Release
• 07:5207:52, 23 April 2016 diff hist +153 The ProB Animator and Model Checker No edit summary
• 07:4707:47, 23 April 2016 diff hist 0 The ProB Animator and Model Checker No edit summary
• 07:4607:46, 23 April 2016 diff hist −65 The ProB Animator and Model Checker No edit summary
• 07:4507:45, 23 April 2016 diff hist +277 The ProB Animator and Model Checker No edit summary
• 07:4307:43, 23 April 2016 diff hist +67 Summary of B Syntax →Comments and Pragmas
• 07:4007:40, 23 April 2016 diff hist +127 Summary of B Syntax →Pragmas
• 07:3607:36, 23 April 2016 diff hist +38 Blocks World (Directed Model Checking) No edit summary
• 07:3507:35, 23 April 2016 diff hist +1 Tutorial Directed Model Checking →More examples
• 07:3507:35, 23 April 2016 diff hist +158 Tutorial Directed Model Checking No edit summary
• 07:2607:26, 23 April 2016 diff hist 0 DownloadPriorVersions →Prior Versions of ProB

21 April 2016

• 08:4108:41, 21 April 2016 diff hist 0 Download →Nightly Build
• 05:5305:53, 21 April 2016 diff hist +79 Editors for ProB →Atom

18 April 2016

• 06:2406:24, 18 April 2016 diff hist +33 Test Case Generation →Introduction
• 06:2406:24, 18 April 2016 diff hist 0 Test Case Generation →Introduction
• 06:2306:23, 18 April 2016 diff hist +1 Test Case Generation →Introduction
• 06:2306:23, 18 April 2016 diff hist +405 Test Case Generation →Introduction
• 06:1906:19, 18 April 2016 diff hist +572 Using the Command-Line Version of ProB →-mcm_tests

5 April 2016

• 07:3007:30, 5 April 2016 diff hist +98 Tutorial Directed Model Checking No edit summary
• 07:2907:29, 5 April 2016 diff hist +385 Blocks World (Directed Model Checking) No edit summary

29 March 2016

• 17:4217:42, 29 March 2016 diff hist +37 Using the Command-Line Version of ProB →-disable_timeout
• 17:3717:37, 29 March 2016 diff hist +415 Using the Command-Line Version of ProB →-no
• 17:3417:34, 29 March 2016 diff hist +362 Using the Command-Line Version of ProB No edit summary

14 March 2016

• 14:2514:25, 14 March 2016 diff hist +30 N Talk:FAQ Created page with "This page needs to be updated." current

9 March 2016

• 16:2616:26, 9 March 2016 diff hist +15 FormalPrototyping →Resources

26 February 2016

• 15:0115:01, 26 February 2016 diff hist 0 ProBLicence →ProB Licence
• 13:5413:54, 26 February 2016 diff hist +97 Editors for ProB →ProB Tcl/Tk Editor
• 13:5113:51, 26 February 2016 diff hist 0 N File:B-mode.el.zip No edit summary current
• 13:5113:51, 26 February 2016 diff hist +4 Editors for ProB →Emacs
• 13:5013:50, 26 February 2016 diff hist +5 Editors for ProB →Emacs
• 13:4513:45, 26 February 2016 diff hist +210 Editors for ProB →Atom
• 13:4213:42, 26 February 2016 diff hist +45 Editors for ProB No edit summary
• 13:4213:42, 26 February 2016 diff hist +32 Editors for ProB →Launching the editor in probcli
• 13:4013:40, 26 February 2016 diff hist +165 Editors for ProB →VIM
• 13:3713:37, 26 February 2016 diff hist +1 Links →Related Tools
• 13:3613:36, 26 February 2016 diff hist +115 Editors for ProB →BBEdit
• 13:3113:31, 26 February 2016 diff hist +122 General Presentation (tcl/tk) →The ProB Main Window current
• 13:2913:29, 26 February 2016 diff hist +1,367 N Editors for ProB Created page with " == ProB Tcl/Tk Editor == ProB Tcl/Tk contains an editor in which syntax errors are displayed and which can be used to edit B, CSP, Z and TLA+ models. The editor of Tcl/Tk, h..."