Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

For Michael Leuschel talk block log uploads logs

07:4207:42, 12 April 2022 diff hist +163‎ Download ‎ →‎Java Requirements for B parser

07:5907:59, 29 March 2022 diff hist +99‎ Links ‎ →‎Tools using ProB

09:0409:04, 25 March 2022 diff hist −14‎ VisB ‎ →‎Debugging and HTML Export
09:0309:03, 25 March 2022 diff hist +314‎ VisB ‎ →‎Debugging and HTML Export
06:3106:31, 25 March 2022 diff hist +66‎ VisB ‎ →‎Debugging and HTML Export
06:2606:26, 25 March 2022 diff hist +2‎ VisB ‎ →‎Debugging and HTML Export
06:2506:25, 25 March 2022 diff hist 0‎ File:ProB2UI VisB View Export.png ‎ Michael Leuschel uploaded a new version of File:ProB2UI VisB View Export.png current
06:2306:23, 25 March 2022 diff hist 0‎ N File:ProB2UI VisB Debug Table View.png ‎No edit summary current
06:2306:23, 25 March 2022 diff hist 0‎ N File:ProB2UI VisB View Export.png ‎No edit summary
06:2106:21, 25 March 2022 diff hist +3‎ VisB ‎ →‎Tips and Tricks
06:2006:20, 25 March 2022 diff hist +228‎ VisB ‎No edit summary
06:1906:19, 25 March 2022 diff hist +973‎ VisB ‎ →‎Tips and Tricks
06:0806:08, 25 March 2022 diff hist +123‎ VisB ‎ →‎Tips and Tricks
06:0606:06, 25 March 2022 diff hist +312‎ VisB ‎ →‎Tips and Tricks

06:5506:55, 24 March 2022 diff hist 0‎ Download ‎ →‎Latest Beta Release
06:5306:53, 24 March 2022 diff hist +186‎ LTSmin ‎ →‎LTSmin Extension of ProB current

07:4707:47, 23 March 2022 diff hist +9‎ LTSmin ‎ →‎LTSmin Extension of ProB

09:1709:17, 17 March 2022 diff hist +94‎ Download ‎ →‎ProB2-UI using Java FX

10:4610:46, 16 March 2022 diff hist +170‎ Download ‎ →‎ProB2-UI using Java FX

11:5711:57, 11 March 2022 diff hist +84‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
11:5611:56, 11 March 2022 diff hist +73‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
09:1809:18, 11 March 2022 diff hist +321‎ External Functions ‎ →‎Standard Libraries provided by ProB
09:1509:15, 11 March 2022 diff hist +622‎ External Functions ‎ →‎Standard Libraries provided by ProB

11:0211:02, 4 March 2022 diff hist 0‎ File:DisproverProB2UIStateView2.png ‎ Michael Leuschel uploaded a new version of File:DisproverProB2UIStateView2.png current
11:0111:01, 4 March 2022 diff hist −41‎ Tutorial Disprover ‎ →‎Example
09:3209:32, 4 March 2022 diff hist +38‎ Tutorial Disprover ‎ →‎Example
09:3109:31, 4 March 2022 diff hist 0‎ N File:DisproverExportExample.png ‎No edit summary current
09:3109:31, 4 March 2022 diff hist +41‎ Tutorial Disprover ‎ →‎Example
09:2909:29, 4 March 2022 diff hist +455‎ Tutorial Disprover ‎No edit summary
09:2609:26, 4 March 2022 diff hist 0‎ N File:DisproverProB2UIStateView2.png ‎No edit summary
09:2609:26, 4 March 2022 diff hist 0‎ N File:DisproverProB2UIStateView1.png ‎No edit summary current
09:2609:26, 4 March 2022 diff hist 0‎ N File:CBCStaticAssertionCheck.png ‎No edit summary current
09:2509:25, 4 March 2022 diff hist +122‎ Tutorial Disprover ‎No edit summary
09:2109:21, 4 March 2022 diff hist +1,142‎ Tutorial Disprover ‎ →‎Preferences
09:0409:04, 4 March 2022 diff hist +434‎ Tutorial Disprover ‎ →‎Preferences
08:4408:44, 4 March 2022 diff hist +161‎ Tutorial Disprover ‎ →‎Preferences
08:4208:42, 4 March 2022 diff hist 0‎ N File:DisproverPrefs.png ‎No edit summary current
08:4208:42, 4 March 2022 diff hist +106‎ Tutorial Disprover ‎No edit summary
08:3808:38, 4 March 2022 diff hist −1‎ Tutorial Disprover ‎ →‎WARNING
08:3708:37, 4 March 2022 diff hist +318‎ Tutorial Disprover ‎ →‎WARNING

13:3913:39, 8 February 2022 diff hist +164‎ Template:ProBSourceCode ‎No edit summary

08:5308:53, 7 February 2022 diff hist +11‎ VisB ‎ →‎VisB Definitions
08:5208:52, 7 February 2022 diff hist +88‎ VisB ‎No edit summary

17:0517:05, 4 February 2022 diff hist +205‎ Template:ProBSourceCode ‎No edit summary
17:0317:03, 4 February 2022 diff hist +123‎ Developer Manual ‎No edit summary current
17:0017:00, 4 February 2022 diff hist +59‎ TLC ‎ →‎Translation from B to TLA+ current

08:4908:49, 24 January 2022 diff hist 0‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
08:4908:49, 24 January 2022 diff hist 0‎ N File:ProB AtelierB StartProB Menu.png ‎No edit summary current
08:4808:48, 24 January 2022 diff hist +181‎ Using ProB with Atelier B ‎ →‎ProB as Atelier B Prover

15:3215:32, 23 January 2022 diff hist +762‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
15:1615:16, 23 January 2022 diff hist −26‎ Using ProB with Atelier B ‎No edit summary
15:1515:15, 23 January 2022 diff hist +780‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin

12:5912:59, 17 January 2022 diff hist +150‎ Download ‎ →‎ProB2-UI using Java FX

16:2116:21, 13 January 2022 diff hist −83‎ ProB Logic Calculator ‎No edit summary
15:1515:15, 13 January 2022 diff hist +21‎ Download ‎ →‎Latest Release

09:0309:03, 8 January 2022 diff hist +18‎ VisB ‎ →‎VisB Additional SVG Objects
09:0209:02, 8 January 2022 diff hist +140‎ VisB ‎ →‎VisB Additional SVG Objects
09:0009:00, 8 January 2022 diff hist 0‎ VisB ‎ →‎VisB Additional SVG Objects
08:5908:59, 8 January 2022 diff hist −2‎ VisB ‎ →‎Replication / Loops
08:5808:58, 8 January 2022 diff hist +293‎ VisB ‎ →‎Replication / Loops
08:5408:54, 8 January 2022 diff hist +1,370‎ VisB ‎ →‎VisB Definitions

08:0708:07, 30 December 2021 diff hist +8‎ Download ‎ →‎Editor Support
08:0508:05, 30 December 2021 diff hist +223‎ Download ‎ →‎Editor Support
08:0308:03, 30 December 2021 diff hist −25‎ Download ‎ →‎ProB for Rodin
07:5807:58, 30 December 2021 diff hist +1‎ Download ‎ →‎Latest Release
07:5707:57, 30 December 2021 diff hist +1‎ Download ‎ →‎Latest Release
07:5707:57, 30 December 2021 diff hist +156‎ Download ‎ →‎Latest Release
07:5207:52, 30 December 2021 diff hist +89‎ Download ‎ →‎Latest Release
07:5107:51, 30 December 2021 diff hist −1‎ Download ‎ →‎Short Release History
07:5007:50, 30 December 2021 diff hist +160‎ The ProB Animator and Model Checker ‎No edit summary
07:4907:49, 30 December 2021 diff hist +192‎ Download ‎ →‎Short Release History
07:4307:43, 30 December 2021 diff hist +2,177‎ ProB Release History ‎No edit summary

18:1818:18, 29 December 2021 diff hist 0‎ Download ‎ →‎Latest Release
18:1618:16, 29 December 2021 diff hist +87‎ Download ‎ →‎Latest Release
18:1518:15, 29 December 2021 diff hist −23‎ Download ‎ →‎Latest Release
18:1018:10, 29 December 2021 diff hist −7‎ Download ‎ →‎Latest Release
18:0918:09, 29 December 2021 diff hist +1‎ Download ‎ →‎Latest Release
18:0918:09, 29 December 2021 diff hist −65‎ Download ‎ →‎Latest Release
18:0518:05, 29 December 2021 diff hist −136‎ Download ‎ →‎Latest Release
17:4117:41, 29 December 2021 diff hist +2‎ Download ‎ →‎Latest Release
17:4017:40, 29 December 2021 diff hist +1,927‎ DownloadPriorVersions ‎ →‎Prior Versions of ProB
17:3917:39, 29 December 2021 diff hist 0‎ Download ‎ →‎Latest Release
17:3817:38, 29 December 2021 diff hist +59‎ Download ‎ →‎Latest Release

16:1216:12, 6 December 2021 diff hist +31‎ Links ‎ →‎Books
16:0616:06, 6 December 2021 diff hist −40‎ Links ‎ →‎Books
16:0516:05, 6 December 2021 diff hist −7‎ Links ‎ →‎Books

07:2307:23, 27 November 2021 diff hist +49‎ State Space Visualization ‎ →‎Transition Diagram
07:2007:20, 27 November 2021 diff hist 0‎ State Space Visualization ‎ →‎Transition Diagram
07:2007:20, 27 November 2021 diff hist 0‎ N File:Lift proj.png ‎No edit summary current
07:1807:18, 27 November 2021 diff hist +1‎ State Space Visualization ‎ →‎Transition Diagram
07:1807:18, 27 November 2021 diff hist 0‎ N File:Lift proj.pdf ‎No edit summary current
07:1707:17, 27 November 2021 diff hist +214‎ State Space Visualization ‎No edit summary
07:1307:13, 27 November 2021 diff hist +314‎ State Space Visualization ‎ →‎Statespace Projections
07:0907:09, 27 November 2021 diff hist +154‎ State Space Visualization ‎ →‎Graph Nodes
07:0207:02, 27 November 2021 diff hist +86‎ State Space Visualization ‎No edit summary
07:0007:00, 27 November 2021 diff hist +245‎ State Space Visualization ‎No edit summary
06:5706:57, 27 November 2021 diff hist +779‎ State Space Visualization ‎ →‎Statespace Projections

09:3509:35, 24 November 2021 diff hist +150‎ Generating UML Sequence Charts ‎ →‎Installation and Using current
09:3309:33, 24 November 2021 diff hist 0‎ N File:ProBUMLSeqChartCmd.png ‎No edit summary current
09:3209:32, 24 November 2021 diff hist +1‎ Generating UML Sequence Charts ‎No edit summary

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