User contributions for Jens Bendisposto

13 February 2020

• 12:4712:47, 13 February 2020 diff hist +1‎ ProB Logic Calculator ‎No edit summary
• 12:4712:47, 13 February 2020 diff hist −1‎ ProB Logic Calculator ‎No edit summary
• 12:4612:46, 13 February 2020 diff hist −132‎ ProB Logic Calculator ‎No edit summary

19 July 2018

• 12:2412:24, 19 July 2018 diff hist +26‎ Main Page/ ‎ Redirected page to The ProB Animator and Model Checker current
• 12:2312:23, 19 July 2018 diff hist +23‎ N Main Page/ ‎ Redirected page to Main Page

20 June 2018

• 09:4409:44, 20 June 2018 diff hist −181‎ Getting Involved ‎No edit summary

14 February 2018

• 18:3118:31, 14 February 2018 diff hist −5‎ ProB Java API ‎ →‎Documentation

13 February 2018

• 02:5202:52, 13 February 2018 diff hist −22‎ ProB Java API ‎ →‎Documentation

7 February 2018

• 12:5912:59, 7 February 2018 diff hist +12‎ Bugs ‎No edit summary
• 12:4812:48, 7 February 2018 diff hist −75‎ Bugs ‎No edit summary
• 12:4612:46, 7 February 2018 diff hist +44‎ Bugs ‎No edit summary
• 12:4412:44, 7 February 2018 diff hist +153‎ Bugs ‎No edit summary
• 12:4112:41, 7 February 2018 diff hist +13‎ Bugs ‎No edit summary
• 12:3912:39, 7 February 2018 diff hist +644‎ Bugs ‎No edit summary
• 12:3912:39, 7 February 2018 diff hist +21‎ Bugs ‎No edit summary

6 October 2017

• 07:5307:53, 6 October 2017 diff hist +4‎ ProB Logic Calculator ‎No edit summary

4 October 2017

• 15:2215:22, 4 October 2017 diff hist −1‎ ProB Logic Calculator ‎No edit summary
• 15:2115:21, 4 October 2017 diff hist −12‎ ProB Logic Calculator ‎No edit summary

30 September 2016

• 08:0908:09, 30 September 2016 diff hist −83‎ ProB Java API ‎ →‎Additional Material

29 July 2016

• 12:4612:46, 29 July 2016 diff hist +24‎ Bugs ‎No edit summary

15 October 2015

• 11:1711:17, 15 October 2015 diff hist −1‎ The ProB Animator and Model Checker ‎ →‎Implementation

18 September 2015

• 15:4815:48, 18 September 2015 diff hist +118‎ User:Jens Bendisposto ‎No edit summary current
• 15:4715:47, 18 September 2015 diff hist +59‎ User:Jens Bendisposto ‎No edit summary
• 15:4615:46, 18 September 2015 diff hist −177‎ User:Jens Bendisposto ‎No edit summary
• 15:4515:45, 18 September 2015 diff hist +416‎ User:Jens Bendisposto ‎No edit summary

14 September 2015

• 10:2910:29, 14 September 2015 diff hist −212‎ ProB Logic Calculator ‎No edit summary
• 10:2810:28, 14 September 2015 diff hist −154‎ ProB Logic Calculator ‎No edit summary

22 June 2015

• 07:2907:29, 22 June 2015 diff hist +1‎ MediaWiki:Sidebar ‎No edit summary

27 April 2015

• 11:2511:25, 27 April 2015 diff hist 0‎ ProB Logic Calculator ‎No edit summary
• 11:2411:24, 27 April 2015 diff hist 0‎ ProB Logic Calculator ‎No edit summary

26 April 2015

• 17:2417:24, 26 April 2015 diff hist 0‎ ProB Logic Calculator ‎No edit summary
• 17:1617:16, 26 April 2015 diff hist −95‎ ProB Logic Calculator ‎No edit summary
• 17:1417:14, 26 April 2015 diff hist +216‎ ProB Logic Calculator ‎No edit summary

17 April 2015

• 08:2308:23, 17 April 2015 diff hist −55‎ Blocks World (Directed Model Checking) ‎ Undo revision 2812 by Jens Bendisposto (Talk)
• 08:2208:22, 17 April 2015 diff hist +55‎ Blocks World (Directed Model Checking) ‎No edit summary

9 April 2015

• 04:1304:13, 9 April 2015 diff hist +2,033‎ DMC ‎No edit summary

26 March 2015

• 11:1711:17, 26 March 2015 diff hist +52‎ N Sefm2015 ‎ Created page with '{{DISPLAYTITLE:Benchmarks for the ProB (Dis)prover}}'
• 11:1611:16, 26 March 2015 diff hist +119‎ N Benchmarks ‎ Created page with 'Here you will find links to benchmarks (sometimes with raw data) we produced to evaluate ProB. Disprover' current
• 11:1411:14, 26 March 2015 diff hist +25‎ MediaWiki:Sidebar ‎No edit summary

18 March 2015

• 12:1712:17, 18 March 2015 diff hist +39‎ ParB ‎ →‎Running in the Cloud/Cluster
• 12:1412:14, 18 March 2015 diff hist +790‎ ParB ‎No edit summary
• 10:4110:41, 18 March 2015 diff hist +71‎ DMC ‎No edit summary
• 10:3110:31, 18 March 2015 diff hist +211‎ ParB ‎No edit summary
• 10:2710:27, 18 March 2015 diff hist −4‎ ParB ‎No edit summary
• 10:2010:20, 18 March 2015 diff hist +1,779‎ ParB ‎No edit summary

16 March 2015

• 17:3417:34, 16 March 2015 diff hist +71‎ N ParB ‎ Created page with 'This page explains how to run the distributed model checking Prototype.'
• 17:3417:34, 16 March 2015 diff hist −6‎ User:Jens Bendisposto ‎No edit summary
• 17:3217:32, 16 March 2015 diff hist +110‎ N DMC ‎ Created page with 'This page explains the methodology of the experiments carried out to evaluate the distributed version of ProB.'
• 17:3117:31, 16 March 2015 diff hist −36‎ User:Jens Bendisposto ‎No edit summary
• 11:1411:14, 16 March 2015 diff hist +16‎ User:Jens Bendisposto ‎No edit summary