User contributions for Jens Bendisposto

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