Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

For Michael Leuschel talk block log uploads logs

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
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
09:3109:31, 24 November 2021 diff hist −5‎ Generating UML Sequence Charts ‎ →‎Using the Command
09:2109:21, 24 November 2021 diff hist +224‎ Generating UML Sequence Charts ‎ →‎Specifying the Actors
09:1909:19, 24 November 2021 diff hist +87‎ Generating UML Sequence Charts ‎ →‎Example
09:1809:18, 24 November 2021 diff hist 0‎ Generating UML Sequence Charts ‎ →‎Example
09:1809:18, 24 November 2021 diff hist 0‎ Generating UML Sequence Charts ‎No edit summary
09:1709:17, 24 November 2021 diff hist +110‎ Generating UML Sequence Charts ‎ →‎Example
09:1709:17, 24 November 2021 diff hist 0‎ N File:ProBUMLSeqCharScheduler.png ‎No edit summary current
09:1609:16, 24 November 2021 diff hist +4‎ Generating UML Sequence Charts ‎ →‎Example
09:1609:16, 24 November 2021 diff hist +4‎ Generating UML Sequence Charts ‎ →‎Using the Command
09:1609:16, 24 November 2021 diff hist +66‎ Generating UML Sequence Charts ‎ →‎Installation and Using
09:1509:15, 24 November 2021 diff hist +127‎ Generating UML Sequence Charts ‎No edit summary
09:1309:13, 24 November 2021 diff hist +74‎ Generating UML Sequence Charts ‎No edit summary
09:1209:12, 24 November 2021 diff hist +1,689‎ Generating UML Sequence Charts ‎ →‎Specifying the Actors
09:1009:10, 24 November 2021 diff hist −38‎ Generating UML Sequence Charts ‎ →‎Specifying the Actors
09:0709:07, 24 November 2021 diff hist +174‎ Generating UML Sequence Charts ‎ →‎Specifying the Actors
08:5408:54, 24 November 2021 diff hist +8‎ Generating UML Sequence Charts ‎No edit summary
08:5308:53, 24 November 2021 diff hist +1,299‎ N Generating UML Sequence Charts ‎ Created page with "= UML Sequence Charts for Traces ProB has a new experimental feature to generate a UML sequence chart from the current animation trace. It currently only works for classical..."
08:4508:45, 24 November 2021 diff hist +37‎ Template:User Manual Index ‎No edit summary

13:0513:05, 18 November 2021 diff hist +12‎ External Functions ‎ →‎Standard Libraries provided by ProB

07:2607:26, 13 November 2021 diff hist +16‎ Download ‎ →‎Graphviz Requirements
07:2507:25, 13 November 2021 diff hist +598‎ Download ‎ →‎Graphviz Requirements

12:4112:41, 10 November 2021 diff hist −5‎ Download ‎ →‎Tcl/Tk on Mac OS/X

06:4106:41, 30 October 2021 diff hist +97‎ Download ‎ →‎Tcl/Tk on Mac OS/X

08:3308:33, 29 October 2021 diff hist +199‎ Download ‎ →‎Tcl/Tk on Mac OS/X

14:5014:50, 28 October 2021 diff hist +1‎ Download ‎ →‎Tcl/Tk on Mac OS/X
14:5014:50, 28 October 2021 diff hist +74‎ Download ‎ →‎Tcl/Tk on Mac OS/X
14:4714:47, 28 October 2021 diff hist +377‎ Download ‎ →‎Tcl/Tk on Mac OS/X
14:3414:34, 28 October 2021 diff hist +13‎ Download ‎ →‎Tcl/Tk on Mac OS/X
14:3414:34, 28 October 2021 diff hist +399‎ Download ‎ →‎Tcl/Tk on Mac OS/X
09:4509:45, 28 October 2021 diff hist −81‎ Download ‎ →‎Tcl/Tk on Mac OS/X
09:4409:44, 28 October 2021 diff hist −82‎ Download ‎ →‎Tcl/Tk on Windows
09:4409:44, 28 October 2021 diff hist −11‎ Download ‎ →‎Tcl/Tk on Windows
09:4209:42, 28 October 2021 diff hist +13‎ Download ‎ →‎Tcl/Tk on Windows
09:4109:41, 28 October 2021 diff hist −189‎ Download ‎ →‎Tcl/Tk on Windows
09:3909:39, 28 October 2021 diff hist −118‎ Download ‎ →‎Tcl/Tk Requirements for ProB Tcl/Tk
09:3709:37, 28 October 2021 diff hist +96‎ Download ‎ →‎Tcl/Tk on Mac OS/X
07:5007:50, 28 October 2021 diff hist +68‎ Download ‎ →‎Tcl/Tk on Mac OS/X
07:4907:49, 28 October 2021 diff hist −2‎ Download ‎ →‎Nightly Builds
07:4907:49, 28 October 2021 diff hist +76‎ Download ‎ →‎Nightly Builds

07:1707:17, 27 October 2021 diff hist +107‎ Download ‎ →‎Tcl/Tk on Mac OS/X

13:0313:03, 24 October 2021 diff hist +8‎ VisB ‎ →‎Replication
13:0213:02, 24 October 2021 diff hist +2‎ VisB ‎ →‎Replication
13:0113:01, 24 October 2021 diff hist +215‎ VisB ‎ →‎Replication
08:4808:48, 24 October 2021 diff hist +488‎ VisB ‎ →‎Replication

20:3820:38, 22 October 2021 diff hist +275‎ VisB ‎ →‎VisB Attributes

14:0214:02, 12 October 2021 diff hist +162‎ Download ‎ →‎Tcl/Tk on Mac OS/X

06:2606:26, 7 October 2021 diff hist +190‎ Download ‎ →‎ProB2-UI using Java FX

17:2717:27, 6 October 2021 diff hist +2‎ Download ‎ →‎Latest Release
17:2717:27, 6 October 2021 diff hist +2‎ Download ‎ →‎Latest Release
17:2617:26, 6 October 2021 diff hist +141‎ Download ‎ →‎Latest Release
16:0916:09, 6 October 2021 diff hist +8‎ Tutorial Troubleshooting the Setup ‎ →‎A few more tips current
16:0816:08, 6 October 2021 diff hist +481‎ Tutorial Troubleshooting the Setup ‎ →‎A few more tips
16:0016:00, 6 October 2021 diff hist −70‎ The ProB Animator and Model Checker ‎No edit summary
15:5815:58, 6 October 2021 diff hist +191‎ The ProB Animator and Model Checker ‎No edit summary
15:5715:57, 6 October 2021 diff hist +243‎ Download ‎ →‎Short Release History
15:5315:53, 6 October 2021 diff hist +2,497‎ ProB Release History ‎No edit summary
15:4215:42, 6 October 2021 diff hist 0‎ Download ‎ →‎Latest Release
11:5411:54, 6 October 2021 diff hist 0‎ Download ‎ →‎Latest Release
11:5211:52, 6 October 2021 diff hist +1,784‎ DownloadPriorVersions ‎ →‎Prior Versions of ProB

16:3916:39, 2 October 2021 diff hist +306‎ Tips for Large Specifications ‎ →‎Speeding up the Loading Process current
16:3616:36, 2 October 2021 diff hist −1‎ Tips for Large Specifications ‎ →‎Speeding up the Loading Process
16:3616:36, 2 October 2021 diff hist +10‎ Tips for Large Specifications ‎ →‎Influencing the Java Parser
16:3616:36, 2 October 2021 diff hist +57‎ Tips for Large Specifications ‎ →‎Speeding up the Loading Process
16:3516:35, 2 October 2021 diff hist +1,653‎ Tips for Large Specifications ‎No edit summary
16:2516:25, 2 October 2021 diff hist +679‎ N Tips for Large Specifications ‎ Created page with " If you have very large B machines, the following tips can be useful. Indeed, when you have very large B machines with hundreds of thousands or millions of lines of code, the..."
16:2116:21, 2 October 2021 diff hist +36‎ Tutorial ‎No edit summary current
16:1716:17, 2 October 2021 diff hist +107‎ Caching Constants and Operations ‎No edit summary

15:1915:19, 10 September 2021 diff hist +76‎ Tutorial Tuning Model Checking ‎ →‎Operation Caching (Reuse) current

08:5208:52, 6 September 2021 diff hist +997‎ Tutorial Tuning Model Checking ‎ →‎Operation Caching (Reuse)
08:4908:49, 6 September 2021 diff hist +321‎ Tutorial Tuning Model Checking ‎ →‎Operation Caching (Reuse)

09:5409:54, 24 August 2021 diff hist +20,043‎ Glossary:Advanced Preferences ‎No edit summary current

09:2309:23, 19 August 2021 diff hist +130‎ Using ProB with Atelier B ‎ →‎Limitations
09:2309:23, 19 August 2021 diff hist +130‎ Current Limitations ‎No edit summary

15:1815:18, 12 August 2021 diff hist +340‎ ProB Release History ‎No edit summary

14:5814:58, 8 July 2021 diff hist +240‎ Running ProB from source ‎ →‎ProB Prolog compile time flags
14:4014:40, 8 July 2021 diff hist +1,299‎ Running ProB from source ‎ →‎Running ProB with SWI Prolog
14:3114:31, 8 July 2021 diff hist +924‎ Running ProB from source ‎ →‎Starting ProB with SWI Prolog
14:2414:24, 8 July 2021 diff hist +268‎ Running ProB from source ‎ →‎Starting ProB with SWI Prolog
11:5011:50, 8 July 2021 diff hist +551‎ Running ProB from source ‎ →‎Compiling SWI Prolog
11:4811:48, 8 July 2021 diff hist +566‎ Running ProB from source ‎No edit summary

07:5107:51, 7 July 2021 diff hist −213‎ Installation ‎No edit summary

08:2708:27, 26 June 2021 diff hist −4‎ Summary of B Syntax ‎ →‎Reals:

15:5715:57, 24 June 2021 diff hist −2‎ LTL Model Checking ‎ →‎Summary of CTL Syntax supported by ProB
15:5715:57, 24 June 2021 diff hist −32‎ LTL Model Checking ‎No edit summary

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