Jump to content

User contributions for Sebastian Krings

Results for Sebastian Krings talk block log uploads logs

A user with 95 edits. Account created on 21 June 2012.

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

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

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

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

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

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

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

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

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

Retrieved from "https://prob.hhu.de/w/index.php/Special:Contributions/Sebastian_Krings"