User contributions for Jan Gruteser - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Jan Gruteser

Results for Jan Gruteser talk block log uploads logs

A user with 125 edits. Account created on 2 May 2023.

15:4415:44, 12 October 2025 diff hist −4 m Using ProB with Atelier B →Atelier B Plugin current

12:2012:20, 8 October 2025 diff hist +1 m Template:ProBSourceCode No edit summary current

16:3416:34, 6 October 2025 diff hist +851 Other languages XTL VisB current
16:2216:22, 6 October 2025 diff hist +1,127 m Team Links gefixt current
08:1308:13, 6 October 2025 diff hist +2 m Other languages →All recognised Prolog Predicates
08:1208:12, 6 October 2025 diff hist +34 m Other languages →All recognised Prolog Predicates
07:4607:46, 6 October 2025 diff hist +151 m Other languages →All recognised Prolog Predicates
07:4507:45, 6 October 2025 diff hist +328 m Other languages →All recognised Prolog Predicates
07:4107:41, 6 October 2025 diff hist +161 m Other languages →All recognised Prolog Predicates
07:3807:38, 6 October 2025 diff hist +559 m Other languages →All recognised Prolog Predicates
07:2907:29, 6 October 2025 diff hist +247 m Other languages →Examples
07:2707:27, 6 October 2025 diff hist +100 m Other languages →XTL Prolog Format for Transition Systems
07:2507:25, 6 October 2025 diff hist +36 m Other languages →All recognised Prolog predicates
07:2507:25, 6 October 2025 diff hist +19 m Other languages →XTL Prolog Format for Transition Systems
07:2207:22, 6 October 2025 diff hist +31 m Other languages →XTL Prolog Format for Transition Systems

08:0208:02, 9 July 2025 diff hist +1 m ProB's Prolog Datastructures →Data Values current

16:1016:10, 13 June 2025 diff hist +1 m LTL Model Checking No edit summary
15:5415:54, 13 June 2025 diff hist +26 m LTL Model Checking →Summary of CTL Syntax supported by ProB

17:0617:06, 30 April 2025 diff hist +79 m Rules-DSL →Computations current

09:1009:10, 4 April 2025 diff hist +14 m VisB →VisB DEFINITIONS
07:3507:35, 4 April 2025 diff hist −3 m VisB →VisB DEFINITIONS
07:2907:29, 4 April 2025 diff hist +2 m VisB →VisB DEFINITIONS
07:2807:28, 4 April 2025 diff hist +629 m VisB →VisB DEFINITIONS

05:3605:36, 2 April 2025 diff hist +45 m External Functions →Standard Libraries provided by ProB current

10:2910:29, 31 March 2025 diff hist +30 m Rules-DSL →Rule Validation with probcli
10:2910:29, 31 March 2025 diff hist −4 m Rules-DSL →Rule Validation with probcli
10:2910:29, 31 March 2025 diff hist +4 m Rules-DSL →Rule Validation with probcli
10:2810:28, 31 March 2025 diff hist +173 m Rules-DSL →Rule Validation with probcli
07:5607:56, 31 March 2025 diff hist +447 m Using the Command-Line Version of ProB No edit summary
07:3707:37, 31 March 2025 diff hist +56 m Using the Command-Line Version of ProB No edit summary
07:3307:33, 31 March 2025 diff hist +369 m Rules-DSL →B-Rules DSL
07:3007:30, 31 March 2025 diff hist +385 m Rules-DSL →Rules

15:1615:16, 26 July 2024 diff hist +175 m SimB →SimB

11:2711:27, 24 July 2024 diff hist +224 TLC →Using TLC in probcli current
11:2311:23, 24 July 2024 diff hist +29 TLC →Limitations

06:3706:37, 11 May 2024 diff hist +83 External Functions →Standard Libraries provided by ProB

14:1414:14, 10 May 2024 diff hist −1 m External Functions →Standard Libraries provided by ProB
11:4211:42, 10 May 2024 diff hist +145 m External Functions →Standard Libraries provided by ProB

08:3708:37, 3 May 2024 diff hist 0 m TLA →Understanding the type checker

12:2912:29, 2 May 2024 diff hist +45 m TLA →Understanding the type checker

07:2907:29, 30 April 2024 diff hist 0 m TLA →Supported TLA+ syntax
07:2807:28, 30 April 2024 diff hist +50 m TLA →Understanding the type checker
07:2707:27, 30 April 2024 diff hist +103 m TLA →Supported TLA+ syntax: add real syntax

12:2912:29, 22 April 2024 diff hist +36 m Handbook/B Language add Freetypes page current

11:3411:34, 15 April 2024 diff hist −11 m Summary of B Syntax →Definitions:

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