User contributions for Michael Leuschel

6 March 2013

• 09:5109:51, 6 March 2013 diff hist +246 The ProB Animator and Model Checker No edit summary

5 March 2013

• 10:1110:11, 5 March 2013 diff hist 0 Download →Latest Release

1 March 2013

• 17:0517:05, 1 March 2013 diff hist −195 Download →Latest Release
• 17:0417:04, 1 March 2013 diff hist 0 Download →Latest Release
• 16:0516:05, 1 March 2013 diff hist +1,517 Download →Latest Release

11 February 2013

• 06:2406:24, 11 February 2013 diff hist 0 TLA →Using ProB for Animation and Model Checking of TLA+ specifications
• 06:2306:23, 11 February 2013 diff hist +170 TLA →Using ProB for Animation and Model Checking of TLA+ specifications
• 06:2106:21, 11 February 2013 diff hist −3 TLA →Using ProB for Animation and Model Checking of TLA+ specifications

21 December 2012

• 10:0810:08, 21 December 2012 diff hist +73 Download →Tcl/Tk
• 10:0810:08, 21 December 2012 diff hist +23 Download →Latest Release

6 December 2012

• 14:0414:04, 6 December 2012 diff hist 0 Download →Tcl/Tk
• 14:0214:02, 6 December 2012 diff hist +105 Download →Tcl/Tk
• 09:5709:57, 6 December 2012 diff hist +212 Download →Latest Release
• 09:5609:56, 6 December 2012 diff hist +92 Download →Tcl/Tk

27 November 2012

• 10:4710:47, 27 November 2012 diff hist +113 Using the Command-Line Version of ProB →-repl
• 10:4510:45, 27 November 2012 diff hist +214 Using the Command-Line Version of ProB →-eval
• 10:4310:43, 27 November 2012 diff hist +222 Using ProB with KODKOD →How to enable Kodkod

23 November 2012

• 13:4613:46, 23 November 2012 diff hist +34 Getting Involved No edit summary
• 13:4613:46, 23 November 2012 diff hist +103 Getting Involved →The Prolog Sources
• 13:4513:45, 23 November 2012 diff hist +315 Getting Involved No edit summary

21 November 2012

• 10:5410:54, 21 November 2012 diff hist +207 Tips: Writing Models for ProB No edit summary

6 November 2012

• 07:5607:56, 6 November 2012 diff hist −1 Summary of B Syntax →Statements (aka Substitutions):
• 07:5607:56, 6 November 2012 diff hist +1 Summary of B Syntax →Statements (aka Substitutions):
• 07:5607:56, 6 November 2012 diff hist 0 Summary of B Syntax No edit summary

31 October 2012

• 12:3312:33, 31 October 2012 diff hist +42 Using ProB with KODKOD →When is the Kokod translation used
• 12:3112:31, 31 October 2012 diff hist +131 Using ProB with KODKOD →What can be translated
• 12:2912:29, 31 October 2012 diff hist +100 Using ProB with KODKOD →How to enable Kodkod
• 12:2812:28, 31 October 2012 diff hist +147 Using ProB with KODKOD →When is the Kokod translation used
• 12:2612:26, 31 October 2012 diff hist +202 Using ProB with KODKOD No edit summary
• 12:2312:23, 31 October 2012 diff hist +657 N Using ProB with KODKOD Created page with 'Category:User Manual Category:Stubs As of version 1.3.5 ProB can make use of Kodkod as an alternate way of solving constraints. = How to enable Kodkod = For the comman…'
• 12:1912:19, 31 October 2012 diff hist +29 Template:User Manual Index No edit summary
• 09:3109:31, 31 October 2012 diff hist +13 Using ProB with Atelier B →Extra Features of ProB
• 09:3009:30, 31 October 2012 diff hist +123 Using ProB with Atelier B →Extra Features of ProB
• 09:2909:29, 31 October 2012 diff hist +10 Using ProB with Atelier B →Extra Features of ProB
• 09:2709:27, 31 October 2012 diff hist −11 Summary of B Syntax →Differences with AtelierB/B4Free
• 09:2609:26, 31 October 2012 diff hist +189 Summary of B Syntax →Differences with AtelierB/B4Free

16 October 2012

• 06:1406:14, 16 October 2012 diff hist +115 Download No edit summary

11 October 2012

• 15:3215:32, 11 October 2012 diff hist +2 Installation →Installation Instruction for ProB (Standalone)
• 15:3215:32, 11 October 2012 diff hist +102 Installation →Installation Instruction for ProB (Standalone)
• 15:3015:30, 11 October 2012 diff hist −3 Windows Installation Instructions →Checklist/Troubleshooting
• 15:3015:30, 11 October 2012 diff hist −6 Windows Installation Instructions →Checklist/Troubleshooting
• 14:2814:28, 11 October 2012 diff hist +5 Windows Installation Instructions →Checklist/Troubleshooting
• 14:2314:23, 11 October 2012 diff hist +94 Windows Installation Instructions →Checklist/Troubleshooting
• 14:2114:21, 11 October 2012 diff hist +618 Windows Installation Instructions →Checklist/Troubleshooting
• 14:1914:19, 11 October 2012 diff hist +605 Windows Installation Instructions No edit summary
• 14:1414:14, 11 October 2012 diff hist +167 Windows Installation Instructions →Download the ProB for Windows Zipfile
• 14:1314:13, 11 October 2012 diff hist +7 Windows Installation Instructions →Go to the ProB Downloads site
• 14:1314:13, 11 October 2012 diff hist +155 Windows Installation Instructions No edit summary
• 14:0914:09, 11 October 2012 diff hist +192 Windows Installation Instructions No edit summary
• 14:0814:08, 11 October 2012 diff hist 0 N File:ProBWindowsFolder.png No edit summary current