User contributions for Sebastian Krings

15:5315:53, 22 January 2016 diff hist +2,631‎ N Symbolic Model Checking ‎ Created page with "= Overview = The current nightly builds of ProB support different symbolic model checking algorithms: * Bounded Model Checking (BMC), * k-Induction, and * different Variant..." current

08:1408:14, 21 January 2016 diff hist +84‎ Template:User Manual Index ‎No edit summary

09:5909:59, 15 January 2016 diff hist +206‎ Using ProB with Z3 ‎No edit summary
09:3809:38, 15 January 2016 diff hist +2‎ Using ProB with Z3 ‎No edit summary
09:3709:37, 15 January 2016 diff hist +93‎ Using ProB with Z3 ‎ →‎How to install Z3 for ProB
09:3709:37, 15 January 2016 diff hist +2‎ Using ProB with Z3 ‎ →‎How to install Z3 for ProB
09:3609:36, 15 January 2016 diff hist +244‎ Using ProB with Z3 ‎ →‎How to install Z3 for ProB

14:2814:28, 14 January 2016 diff hist +517‎ Using ProB with Z3 ‎ →‎How to install Z3 for ProB
12:5512:55, 14 January 2016 diff hist +2,420‎ Using ProB with Z3 ‎No edit summary
08:3408:34, 14 January 2016 diff hist +375‎ N Using ProB with Z3 ‎ Created page with "Category:User Manual Category:Stubs The current nightly versions of ProB can make use of [http://alloy.mit.edu/kodkod/ Z3] as an alternate way of solving constraints...."
08:3108:31, 14 January 2016 diff hist +25‎ Template:User Manual Index ‎No edit summary

09:1509:15, 14 December 2015 diff hist +2‎ Windows Installation Instructions ‎ →‎Checklist/Troubleshooting
09:1509:15, 14 December 2015 diff hist −4‎ Windows Installation Instructions ‎ →‎Install Tcl/Tk 8.5

08:3608:36, 2 December 2015 diff hist +22‎ Download ‎No edit summary
08:3108:31, 2 December 2015 diff hist −6‎ Download ‎ →‎Sourcecode

08:4708:47, 24 November 2015 diff hist 0‎ N File:ProB ApplesOranges Sol.png ‎No edit summary current

10:0010:00, 19 October 2015 diff hist +1‎ ABZ14 ‎ →‎References
09:5609:56, 19 October 2015 diff hist +104‎ ABZ14 ‎ →‎BMotion Studio for ProB Video

09:1409:14, 11 September 2015 diff hist +2‎ Tutorial Unit Plugin With Rodin ‎ →‎Attaching Physical Units to Variables and Constants
09:1409:14, 11 September 2015 diff hist +4‎ Tutorial Unit Plugin ‎ →‎Converting between units
09:1309:13, 11 September 2015 diff hist +8‎ Tutorial Unit Plugin ‎ →‎Annotating variables and animating a machine

10:4710:47, 27 March 2015 diff hist +265‎ Sefm2015 ‎ →‎Summaries
09:5709:57, 27 March 2015 diff hist −1‎ Sefm2015 ‎No edit summary
09:5609:56, 27 March 2015 diff hist +1‎ Sefm2015 ‎ →‎= Surplus of ProB
09:5609:56, 27 March 2015 diff hist +510‎ Sefm2015 ‎No edit summary
09:5409:54, 27 March 2015 diff hist +1,749‎ Sefm2015 ‎No edit summary
09:4109:41, 27 March 2015 diff hist +1,328‎ Sefm2015 ‎No edit summary

14:2614:26, 19 February 2015 diff hist −1‎ Download ‎ →‎Prior Versions
12:3712:37, 19 February 2015 diff hist −216‎ The ProB Animator and Model Checker ‎No edit summary
12:3612:36, 19 February 2015 diff hist +251‎ Download ‎ →‎Short Release History
12:3212:32, 19 February 2015 diff hist +5‎ Download ‎ →‎Latest Release
12:3112:31, 19 February 2015 diff hist 0‎ Team ‎No edit summary
10:4510:45, 19 February 2015 diff hist +67‎ Download ‎ →‎Short Release History
10:4010:40, 19 February 2015 diff hist +136‎ Download ‎No edit summary

08:5408:54, 29 August 2014 diff hist +139‎ Download ‎No edit summary

13:3513:35, 18 August 2014 diff hist −289‎ The ProB Animator and Model Checker ‎ release prob 1.4.0
13:3313:33, 18 August 2014 diff hist −208‎ Download ‎ release prob 1.4.0

13:0013:00, 21 March 2014 diff hist +223‎ Download ‎ →‎Nightly Build

08:2308:23, 9 December 2013 diff hist +6‎ Tutorial Disprover ‎ →‎How to use it, how it works
08:2208:22, 9 December 2013 diff hist 0‎ N File:Disprover-all.png ‎No edit summary current
08:2208:22, 9 December 2013 diff hist +1,763‎ N Tutorial Disprover ‎ Created page with 'Category:User Manual == WARNING == This is work in progress! The disprover plugin is currently experimental. Please keep in mind, that you might run into some rough edges o…'
08:0908:09, 9 December 2013 diff hist +53‎ Tutorial ‎No edit summary
08:0808:08, 9 December 2013 diff hist +1,311‎ N Tutorial Symbolic Constants ‎ Created page with 'Category:User Manual == Introduction == ProB Tcl/Tk as well as the probcli command-line version are able to store units symbolic…'
08:0008:00, 9 December 2013 diff hist +69‎ Tutorial ‎No edit summary

10:0210:02, 6 March 2013 diff hist −429‎ Prolog Coding Guidelines ‎ →‎Module Information

11:0911:09, 5 February 2013 diff hist +94‎ Developer Manual ‎No edit summary

12:3312:33, 31 January 2013 diff hist +35‎ Tutorial Unit Plugin ‎No edit summary
12:3212:32, 31 January 2013 diff hist +35‎ m Tutorial Unit Plugin With Rodin ‎ add category
09:5809:58, 31 January 2013 diff hist +1,500‎ Tutorial Unit Plugin With Rodin ‎No edit summary
09:4809:48, 31 January 2013 diff hist 0‎ N File:ProBRodinStartUnitAnalysis.png ‎No edit summary current
09:4509:45, 31 January 2013 diff hist 0‎ N File:ProBRodinUnitPragmas.png ‎No edit summary current

13:3713:37, 7 January 2013 diff hist +982‎ N Tutorial Unit Plugin With Rodin ‎ Created page with 'Category:Tutorial Category:User Manual This tutorial describes, how ProB's integrated plugin for unit analysis can be used with Event-B machines from inside the Rodin p…'
13:3013:30, 7 January 2013 diff hist 0‎ Tutorial ‎No edit summary
13:3013:30, 7 January 2013 diff hist +150‎ Tutorial ‎ add link to second physical units plugin tutorial

10:3810:38, 4 January 2013 diff hist +12‎ Tutorial ‎ fix link to bms tutorial

15:2015:20, 11 December 2012 diff hist +57‎ m Team ‎ add link

12:2212:22, 6 December 2012 diff hist −30‎ Tutorial Unit Plugin ‎ update to new unit format
12:2112:21, 6 December 2012 diff hist −424‎ Tutorial Unit Plugin ‎ update to new unit format

13:1013:10, 11 October 2012 diff hist +15‎ m Tutorial Unit Plugin ‎ style
12:4912:49, 11 October 2012 diff hist −1‎ m Tutorial Unit Plugin ‎ newlines
12:4512:45, 11 October 2012 diff hist 0‎ m Tutorial Unit Plugin ‎ typo
12:4412:44, 11 October 2012 diff hist +189‎ Tutorial Unit Plugin ‎ add remark about setting the animator to a fixpoint state

15:0215:02, 29 July 2012 diff hist +46‎ Tutorial Unit Plugin ‎ changed to new unit format

13:0413:04, 16 July 2012 diff hist +722‎ Tutorial Unit Plugin ‎ added section on unit conversion
13:0013:00, 16 July 2012 diff hist +34‎ m Tutorial Unit Plugin ‎ Fix Prolog lists of lists beeing expanded as wiki syntax

10:5110:51, 29 June 2012 diff hist +117‎ Tutorial Unit Plugin ‎ Fixed syntax for multiple units.

19:3619:36, 21 June 2012 diff hist +2,840‎ N Tutorial Unit Plugin ‎ added new page explaining the unit plugin
12:5412:54, 21 June 2012 diff hist 0‎ m Tutorial ‎ typo
12:5412:54, 21 June 2012 diff hist +75‎ m Tutorial ‎ add link to plugin tutorial

User contributions for Sebastian Krings

9 February 2018

17 July 2017

20 October 2016

26 September 2016

22 April 2016

1 February 2016

22 January 2016

21 January 2016

15 January 2016

14 January 2016

14 December 2015

2 December 2015

24 November 2015

19 October 2015

11 September 2015

27 March 2015

19 February 2015

29 August 2014

18 August 2014

21 March 2014

9 December 2013

6 March 2013

5 February 2013

31 January 2013

7 January 2013

4 January 2013

11 December 2012

6 December 2012

11 October 2012

29 July 2012

16 July 2012

29 June 2012

21 June 2012