User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,295 edits. Account created on 18 January 2010.

12:4912:49, 6 January 2024 diff hist +1,175 Custom Graph No edit summary
12:3412:34, 6 January 2024 diff hist +32 Custom Graph No edit summary
12:3412:34, 6 January 2024 diff hist +940 Custom Graph No edit summary
12:0612:06, 6 January 2024 diff hist +128 Template:User Manual Index No edit summary
12:0212:02, 6 January 2024 diff hist +127 Graphical Visualization No edit summary current
12:0012:00, 6 January 2024 diff hist +235 N Custom Graph Created page with "You can visualise the state of an individual B, Z, TLA+ or Alloy model using custom graph definitions which are laid out using GraphViz. Thereby it is possible to specify general graph attributes, the nodes and the edges of the graph."
11:5911:59, 6 January 2024 diff hist +233 State Space Visualization No edit summary current
11:5511:55, 6 January 2024 diff hist +124 Graphical Visualization No edit summary
11:5011:50, 6 January 2024 diff hist +40 Template:User Manual Index No edit summary

14:2814:28, 18 December 2023 diff hist +1,032 Event-B Theories →Error Messages
14:2614:26, 18 December 2023 diff hist +566 Event-B Theories →Tagging operators
14:1114:11, 18 December 2023 diff hist +189 Summary of B Syntax →Differences with AtelierB/B4Free
14:1114:11, 18 December 2023 diff hist +385 Summary of B Syntax →File Extensions

13:0813:08, 2 November 2023 diff hist +1 Tutorial Modeling Infinite Datatypes No edit summary current
13:0713:07, 2 November 2023 diff hist +22 Tutorial Modeling Infinite Datatypes No edit summary

13:3213:32, 26 October 2023 diff hist +17 Download →ProB2-UI

09:0709:07, 11 August 2023 diff hist +105 Download →Short Release History
06:4906:49, 11 August 2023 diff hist +104 The ProB Animator and Model Checker No edit summary
06:4706:47, 11 August 2023 diff hist +2,816 ProB Release History No edit summary
05:5405:54, 11 August 2023 diff hist 0 Download →Latest Release

16:4116:41, 10 August 2023 diff hist +1,528 DownloadPriorVersions No edit summary

08:0308:03, 8 August 2023 diff hist 0 Links →Testimonials
08:0308:03, 8 August 2023 diff hist +556 Links →Testimonials

07:4007:40, 4 August 2023 diff hist +307 Download →Graphviz Requirements
06:0606:06, 4 August 2023 diff hist +231 Download →Tcl/Tk on macOS

07:3507:35, 31 July 2023 diff hist +265 VisB →VisB DEFINITIONS
07:3307:33, 31 July 2023 diff hist +82 VisB →VisB DEFINITIONS

07:2007:20, 29 July 2023 diff hist +201 VisB →Examples

17:2717:27, 13 July 2023 diff hist +81 VisB →VisB DEFINITIONS
17:2317:23, 13 July 2023 diff hist +73 VisB No edit summary

10:3810:38, 3 July 2023 diff hist +336 VisB →Items and Events
10:3410:34, 3 July 2023 diff hist +213 VisB →Items and Events

13:5113:51, 23 May 2023 diff hist +141 Download →ProB2-UI

09:0309:03, 20 May 2023 diff hist +8 VisB →VisB DEFINITIONS
09:0209:02, 20 May 2023 diff hist +12 VisB →VisB Definitions
09:0109:01, 20 May 2023 diff hist +735 VisB →VisB DEFINITIONS
06:1906:19, 20 May 2023 diff hist 0 VisB →VisB DEFINITIONS
06:1806:18, 20 May 2023 diff hist −2 VisB →VisB DEFINITIONS
06:1806:18, 20 May 2023 diff hist +57 VisB →VisB DEFINITIONS
06:1706:17, 20 May 2023 diff hist +275 VisB →VisB DEFINITIONS
06:1006:10, 20 May 2023 diff hist +1 VisB →VisB DEFINITIONS
06:0906:09, 20 May 2023 diff hist −1 VisB →VisB DEFINITIONS

12:5312:53, 11 May 2023 diff hist +4 Current Limitations No edit summary current

14:1714:17, 3 May 2023 diff hist +1 Download →Latest Release
14:1314:13, 3 May 2023 diff hist −138 Download →Latest Release
11:2311:23, 3 May 2023 diff hist +2 Download →Latest Release
08:3708:37, 3 May 2023 diff hist +163 Tutorial Animation Tips →Using EXTENDS current
08:3508:35, 3 May 2023 diff hist +2 Tutorial Animation Tips →Using EXTENDS
08:3508:35, 3 May 2023 diff hist +625 Tutorial Animation Tips →Using Trace Replay

13:4213:42, 2 May 2023 diff hist +271 Tutorial Animation Tips →Using Constraint-Based Validation Techniques

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