User contributions for Michael Leuschel

8 February 2025

• 06:5406:54, 8 February 2025 diff hist +289‎ Proving Theorems in the ProB REPL ‎ →‎Calling Other Provers

7 February 2025

• 13:5413:54, 7 February 2025 diff hist +97‎ Proving Theorems in the ProB REPL ‎ →‎Calling ProB's WD Prover
• 13:5213:52, 7 February 2025 diff hist +2‎ Well-Definedness Checking ‎ →‎probcli current
• 13:5213:52, 7 February 2025 diff hist +164‎ Well-Definedness Checking ‎ →‎probcli
• 13:4913:49, 7 February 2025 diff hist +359‎ Proving Theorems in the ProB REPL ‎ →‎Proving in the REPL
• 13:4513:45, 7 February 2025 diff hist +2‎ Using ProB with Atelier B ‎ →‎Using the Atelier B Provers inside ProB
• 13:4513:45, 7 February 2025 diff hist +64‎ Using ProB with Atelier B ‎No edit summary
• 13:4313:43, 7 February 2025 diff hist +27‎ Proving Theorems in the ProB REPL ‎No edit summary
• 13:4213:42, 7 February 2025 diff hist +772‎ Proving Theorems in the ProB REPL ‎No edit summary
• 13:3613:36, 7 February 2025 diff hist +120‎ Using ProB with Atelier B ‎ →‎ProB as Atelier B Prover
• 13:3513:35, 7 February 2025 diff hist +681‎ Proving Theorems in the ProB REPL ‎ →‎Calling Other Provers
• 13:3113:31, 7 February 2025 diff hist +289‎ Proving Theorems in the ProB REPL ‎ →‎User-Defined Sets

5 February 2025

• 10:0410:04, 5 February 2025 diff hist −1‎ Using ProB with Atelier B ‎ →‎Limitations

3 December 2024

• 09:0109:01, 3 December 2024 diff hist +1,249‎ Monte Carlo Tree Search Game Play ‎No edit summary current

2 December 2024

• 18:0318:03, 2 December 2024 diff hist +35‎ Download ‎ →‎Graphviz Requirements

7 October 2024

• 07:0407:04, 7 October 2024 diff hist +131‎ Debugging ‎No edit summary
• 07:0007:00, 7 October 2024 diff hist +1,312‎ Debugging ‎ →‎Debugging Constants Setup

1 October 2024

• 10:4110:41, 1 October 2024 diff hist +100‎ Links ‎ →‎Tools using ProB current
• 10:4010:40, 1 October 2024 diff hist +67‎ Developer Manual ‎ →‎ProB Java API (aka ProB 2.0) current
• 10:4010:40, 1 October 2024 diff hist +45‎ Developer Manual ‎ →‎ProB Java API (aka ProB 2.0)

30 September 2024

• 11:3611:36, 30 September 2024 diff hist +534‎ Debugging ‎ →‎Debugging Constant Size

28 September 2024

• 06:1206:12, 28 September 2024 diff hist −40‎ Debugging ‎ →‎Profiling External Function Calls
• 06:1106:11, 28 September 2024 diff hist +103‎ Debugging ‎ →‎Profiling External Function Calls

27 September 2024

• 17:3317:33, 27 September 2024 diff hist +332‎ Debugging ‎ →‎Profiling
• 17:3217:32, 27 September 2024 diff hist +2,117‎ Debugging ‎ →‎Profiling

18 September 2024

• 09:1809:18, 18 September 2024 diff hist 0‎ Generating UML Sequence Charts ‎ →‎Using the Command current
• 09:1709:17, 18 September 2024 diff hist 0‎ N File:ProBUMLSeqChartProB2UIDialog.png ‎No edit summary current
• 09:1609:16, 18 September 2024 diff hist 0‎ N File:ProBUMLSeqChartProB2UICmd.png ‎No edit summary current
• 09:0509:05, 18 September 2024 diff hist +112‎ Generating UML Sequence Charts ‎ →‎Using the Command
• 09:0509:05, 18 September 2024 diff hist +129‎ Generating UML Sequence Charts ‎ →‎Installation and Using
• 09:0109:01, 18 September 2024 diff hist +156‎ Generating UML Sequence Charts ‎ →‎Specifying the Actors
• 08:5908:59, 18 September 2024 diff hist +142‎ Generating UML Sequence Charts ‎ →‎Using the Command
• 08:5308:53, 18 September 2024 diff hist −33‎ Generating UML Sequence Charts ‎ →‎Installation and Using
• 08:5308:53, 18 September 2024 diff hist −35‎ Generating UML Sequence Charts ‎ →‎Installation and Using
• 08:5208:52, 18 September 2024 diff hist +486‎ Generating UML Sequence Charts ‎ →‎Installation and Using

12 September 2024

• 07:1607:16, 12 September 2024 diff hist −1‎ TLA ‎ →‎Visualisation current
• 07:1607:16, 12 September 2024 diff hist +2,640‎ TLA ‎ →‎Visualisation
• 07:1407:14, 12 September 2024 diff hist +27‎ TLA ‎ →‎Visualisation
• 07:1107:11, 12 September 2024 diff hist +1,927‎ TLA ‎ →‎Visualisation
• 07:0807:08, 12 September 2024 diff hist +17‎ TLA ‎ →‎Visualisation
• 07:0707:07, 12 September 2024 diff hist +4‎ TLA ‎ →‎Visualisation
• 06:5906:59, 12 September 2024 diff hist +448‎ TLA ‎No edit summary
• 06:5706:57, 12 September 2024 diff hist +42‎ VisB ‎ →‎Examples

5 September 2024

• 07:4307:43, 5 September 2024 diff hist −20‎ Links ‎ →‎Testimonials
• 07:4207:42, 5 September 2024 diff hist +1‎ Links ‎ →‎Testimonials
• 07:4207:42, 5 September 2024 diff hist 0‎ Links ‎ →‎Testimonials
• 07:4207:42, 5 September 2024 diff hist +389‎ Links ‎ →‎Testimonials
• 07:3707:37, 5 September 2024 diff hist +1,048‎ Links ‎ →‎Testimonials

2 September 2024

• 07:3207:32, 2 September 2024 diff hist +202‎ Debugging ‎ →‎Profiling

16 August 2024

• 12:1212:12, 16 August 2024 diff hist +128‎ The ProB Animator and Model Checker ‎ →‎Features