Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Jens Bendisposto

For Jens Bendisposto talk block log uploads logs

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
11:1311:13, 16 March 2015 diff hist −16‎ Template:Feedback ‎No edit summary
11:1211:12, 16 March 2015 diff hist +16‎ Template:Feedback ‎ →‎Feedback
11:1011:10, 16 March 2015 diff hist +13‎ User:Jens Bendisposto ‎No edit summary
11:1011:10, 16 March 2015 diff hist +32‎ User:Jens Bendisposto ‎No edit summary

08:0708:07, 16 February 2015 diff hist +230‎ ABZ14 ‎No edit summary

16:0216:02, 12 January 2015 diff hist +2‎ Prob2-advance-release ‎No edit summary current
16:0116:01, 12 January 2015 diff hist 0‎ File:Install prob2.png ‎ uploaded a new version of "File:Install prob2.png" current
16:0016:00, 12 January 2015 diff hist 0‎ N File:Install prob2.png ‎No edit summary
16:0016:00, 12 January 2015 diff hist +289‎ Prob2-advance-release ‎No edit summary
15:4915:49, 12 January 2015 diff hist +139‎ Prob2-advance-release ‎No edit summary

07:1407:14, 29 November 2014 diff hist −4‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Constraint solver

09:2309:23, 27 November 2014 diff hist +4‎ Prob2-advance-release ‎No edit summary
09:2309:23, 27 November 2014 diff hist +7‎ Prob2-advance-release ‎No edit summary
09:1909:19, 27 November 2014 diff hist +30‎ N Prob2-advance-release ‎ Created page with '== ProB 2.0 Advance Release =='

08:5908:59, 26 November 2014 diff hist +28‎ N Prob2-alpha ‎ Created page with '== ProB 2.0 Alpha Release ==' current

11:1011:10, 23 July 2014 diff hist +41‎ Installation ‎No edit summary
10:1810:18, 23 July 2014 diff hist 0‎ ABZ14 ‎No edit summary

14:5614:56, 11 July 2014 diff hist 0‎ ABZ14 ‎ →‎ProB Live Visualization (click to join)

13:5213:52, 10 July 2014 diff hist −23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Traces

20:0920:09, 5 July 2014 diff hist −543‎ ProB Java API Tutorial ‎ →‎Classical B

11:2611:26, 1 July 2014 diff hist 0‎ ABZ14 ‎No edit summary

05:5205:52, 4 June 2014 diff hist −8‎ ABZ14 ‎ Undo revision 2167 by Jens Bendisposto (Talk)

06:0606:06, 6 April 2014 diff hist +8‎ ABZ14 ‎No edit summary

15:1015:10, 18 March 2014 diff hist +6‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The State Space

13:0613:06, 11 March 2014 diff hist 0‎ ABZ14 ‎No edit summary

12:2712:27, 20 February 2014 diff hist 0‎ ABZ14 ‎No edit summary

13:3813:38, 18 February 2014 diff hist 0‎ ABZ14 ‎No edit summary

08:4608:46, 17 February 2014 diff hist 0‎ ABZ14 ‎No edit summary

12:5012:50, 14 February 2014 diff hist +16‎ ABZ14 ‎ →‎Live Visualization
12:4912:49, 14 February 2014 diff hist +242‎ ABZ14 ‎No edit summary
12:4212:42, 14 February 2014 diff hist 0‎ N File:Landing gear.png ‎No edit summary
12:4212:42, 14 February 2014 diff hist 0‎ N File:Langing gear.png ‎No edit summary current

15:4715:47, 3 February 2014 diff hist +125‎ ABZ14 ‎ →‎Links
15:4515:45, 3 February 2014 diff hist +278‎ ABZ14 ‎No edit summary
15:4115:41, 3 February 2014 diff hist +57‎ ABZ14 ‎No edit summary
15:4015:40, 3 February 2014 diff hist +13‎ ABZ14 ‎ →‎Ressources
15:4015:40, 3 February 2014 diff hist 0‎ N File:LandingGear.zip ‎No edit summary
15:4015:40, 3 February 2014 diff hist −16‎ ABZ14 ‎No edit summary
15:1615:16, 3 February 2014 diff hist −16‎ m ABZ14 ‎ →‎Video
15:1315:13, 3 February 2014 diff hist +30‎ ABZ14 ‎No edit summary
15:1115:11, 3 February 2014 diff hist +4‎ ABZ14 ‎No edit summary
15:0715:07, 3 February 2014 diff hist −15‎ ABZ14 ‎ →‎Video

16:3916:39, 31 January 2014 diff hist +16‎ N ABZ14 ‎ Created page with '== Case Study =='

11:4911:49, 2 October 2013 diff hist +2‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Setup

06:5206:52, 9 September 2013 diff hist +1‎ Game of Life ‎No edit summary current

13:2713:27, 22 August 2013 diff hist +7‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Evaluation

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Jens_Bendisposto"