User contributions for Sebastian Krings

9 February 2018

• 13:0913:09, 9 February 2018 diff hist +95‎ Alloy ‎ →‎Installation

17 July 2017

• 08:3108:31, 17 July 2017 diff hist 0‎ ProB for Rodin ‎ →‎Camille
• 08:3008:30, 17 July 2017 diff hist 0‎ ProB for Rodin ‎ →‎ProB (1) for Rodin
• 08:3008:30, 17 July 2017 diff hist 0‎ Tutorial Rodin First Step ‎No edit summary

20 October 2016

• 12:0812:08, 20 October 2016 diff hist 0‎ Download ‎ →‎Latest Release
• 12:0812:08, 20 October 2016 diff hist −6‎ Download ‎ →‎Latest Release
• 12:0712:07, 20 October 2016 diff hist +1,545‎ DownloadPriorVersions ‎ →‎Prior Versions of ProB

26 September 2016

• 07:5907:59, 26 September 2016 diff hist −38‎ Download ‎ →‎Nightly Build
• 07:0307:03, 26 September 2016 diff hist −4‎ Download ‎ →‎Timed-CSP Simulator

22 April 2016

• 14:1014:10, 22 April 2016 diff hist −220‎ Download ‎ →‎Nightly Build
• 14:0814:08, 22 April 2016 diff hist −8‎ Download ‎ →‎Latest Release
• 14:0514:05, 22 April 2016 diff hist +1,337‎ DownloadPriorVersions ‎ →‎Prior Versions of ProB

1 February 2016

• 08:2108:21, 1 February 2016 diff hist −235‎ Using ProB with Z3 ‎ →‎How to install Z3 for ProB

22 January 2016

• 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

21 January 2016

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

15 January 2016

• 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 January 2016

• 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

14 December 2015

• 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

2 December 2015

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

24 November 2015

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

19 October 2015

• 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

11 September 2015

• 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

27 March 2015

• 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

19 February 2015

• 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

29 August 2014

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

18 August 2014

• 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