Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Joy Clark

For Joy Clark talk block log uploads logs

08:2008:20, 5 May 2015 diff hist +83‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary current
08:1808:18, 5 May 2015 diff hist −23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Evaluation
08:1408:14, 5 May 2015 diff hist −8‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Traces
08:1308:13, 5 May 2015 diff hist −306‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The State Space
08:0108:01, 5 May 2015 diff hist +27‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Preparation
07:5907:59, 5 May 2015 diff hist −125‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The State Space
07:4807:48, 5 May 2015 diff hist +84‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Preparation

15:0815:08, 5 November 2014 diff hist −40‎ ProB Java API Tutorial ‎ →‎How to run a groovy script
15:0815:08, 5 November 2014 diff hist +20‎ ProB Java API Tutorial ‎ →‎How to convert between the main abstractions
15:0815:08, 5 November 2014 diff hist +420‎ ProB Java API Tutorial ‎ →‎How to carry out evaluations
15:0415:04, 5 November 2014 diff hist +341‎ ProB Java API Tutorial ‎ →‎In The Console
14:5614:56, 5 November 2014 diff hist +147‎ ProB Java API Tutorial ‎ →‎Event B
14:5514:55, 5 November 2014 diff hist −5‎ ProB Java API Tutorial ‎ →‎Open the ProB API from Source/JAR file
14:5414:54, 5 November 2014 diff hist +505‎ ProB Java API Tutorial ‎ →‎How to open the Groovy Shell
14:4714:47, 5 November 2014 diff hist −18‎ Programmatic Abstractions in the ProB 2.0 API ‎ →‎StateSpace current
14:4014:40, 5 November 2014 diff hist +227‎ Programmatic Abstractions in the ProB 2.0 API ‎ →‎Model
14:3814:38, 5 November 2014 diff hist +7‎ Programmatic Abstractions in the ProB 2.0 API ‎ →‎Overview
14:3414:34, 5 November 2014 diff hist +59‎ Programmatic Abstractions in the ProB 2.0 API ‎ →‎Background
14:3114:31, 5 November 2014 diff hist +11‎ ProB 2.0 Development ‎ →‎Basic Design Principles current

20:5520:55, 26 June 2013 diff hist −1‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The model: specify line as code
20:5120:51, 26 June 2013 diff hist −4‎ m ProB Java API Tutorial ‎ →‎How to get started developing with ProB 2.0: fix broken links

12:1412:14, 4 June 2013 diff hist −2‎ ProB Java API Tutorial ‎ →‎How to carry out evaluations
12:1412:14, 4 June 2013 diff hist −2‎ ProB Java API Tutorial ‎ →‎In The Console
12:1412:14, 4 June 2013 diff hist −2‎ ProB Java API Tutorial ‎No edit summary
12:1312:13, 4 June 2013 diff hist +819‎ ProB Java API Tutorial ‎No edit summary
11:5711:57, 4 June 2013 diff hist −170‎ Programmatic Abstractions in the ProB 2.0 API ‎No edit summary
11:5511:55, 4 June 2013 diff hist −3‎ ProB 2.0 Development ‎ →‎Explanation of the basic programmatic abstractions
11:5411:54, 4 June 2013 diff hist −8‎ ProB 2.0 Development ‎ →‎Explanation of the basic programmatic abstractions

14:0714:07, 30 November 2012 diff hist +664‎ ProB Java API Tutorial ‎ →‎How to animate with only the StateSpace abstraction
13:5313:53, 30 November 2012 diff hist +195‎ ProB Java API Tutorial ‎ →‎How to run a groovy script
13:4813:48, 30 November 2012 diff hist +313‎ ProB Java API Tutorial ‎ →‎How to save a history
13:4513:45, 30 November 2012 diff hist +441‎ ProB Java API Tutorial ‎ →‎How to save a history
13:4213:42, 30 November 2012 diff hist +977‎ ProB Java API Tutorial ‎ →‎How to convert between the main abstractions
13:3413:34, 30 November 2012 diff hist +1,213‎ ProB Java API Tutorial ‎ →‎How to carry out evaluations
13:2313:23, 30 November 2012 diff hist +1,111‎ ProB Java API Tutorial ‎ →‎How to switch from UI to groovy console
13:1213:12, 30 November 2012 diff hist +2‎ ProB Java API Tutorial ‎No edit summary
13:1213:12, 30 November 2012 diff hist +2,144‎ ProB Java API Tutorial ‎ →‎How to animate models
12:4412:44, 30 November 2012 diff hist +286‎ ProB Java API Tutorial ‎No edit summary
12:4012:40, 30 November 2012 diff hist +176‎ ProB Java API Tutorial ‎ →‎How to load a model
12:3012:30, 30 November 2012 diff hist +1,970‎ N ProB Java API Tutorial ‎ Created page with 'ProB 2.0 is currently experimental. This means that the implementation may change during the course of development. However, we have reached the point in development where some o…'
10:3210:32, 30 November 2012 diff hist +1‎ ProB 2.0 Development ‎ →‎Explanation of the basic programmatic abstractions
10:3210:32, 30 November 2012 diff hist +78‎ ProB 2.0 Development ‎ →‎Tutorial of the Current Features of ProB 2.0
10:2310:23, 30 November 2012 diff hist +1,022‎ Programmatic Abstractions in the ProB 2.0 API ‎ →‎History
10:1010:10, 30 November 2012 diff hist +947‎ Programmatic Abstractions in the ProB 2.0 API ‎ →‎StateSpace
10:0510:05, 30 November 2012 diff hist +703‎ Programmatic Abstractions in the ProB 2.0 API ‎ →‎Model
09:4809:48, 30 November 2012 diff hist +230‎ Programmatic Abstractions in the ProB 2.0 API ‎ →‎Overview
09:4509:45, 30 November 2012 diff hist +484‎ Programmatic Abstractions in the ProB 2.0 API ‎No edit summary
09:3309:33, 30 November 2012 diff hist +53‎ N Programmatic Abstractions in the ProB 2.0 API ‎ Created page with '__TOC__ == Model == == StateSpace == == History =='
09:3209:32, 30 November 2012 diff hist +493‎ ProB 2.0 Development ‎ →‎Explanation of the basic programmatic abstractions
09:0709:07, 30 November 2012 diff hist −1‎ ProB 2.0 Development ‎ →‎Why Groovy?

12:4112:41, 29 November 2012 diff hist +1,830‎ ProB 2.0 Development ‎ →‎Basic Design Principles
10:5910:59, 29 November 2012 diff hist +12‎ ProB 2.0 Development ‎No edit summary
10:1710:17, 29 November 2012 diff hist +7‎ ProB 2.0 Development ‎No edit summary
10:1310:13, 29 November 2012 diff hist +26‎ ProB 2.0 Development ‎No edit summary
10:1310:13, 29 November 2012 diff hist +36‎ ProB 2.0 Development ‎No edit summary
10:0310:03, 29 November 2012 diff hist +2‎ ProB 2.0 Development ‎No edit summary
10:0310:03, 29 November 2012 diff hist +85‎ ProB 2.0 Development ‎No edit summary

12:2712:27, 28 November 2012 diff hist +46‎ N ProB 2.0 Development ‎ Created page with 'Information concerning the development of ProB'
12:2612:26, 28 November 2012 diff hist +26‎ Developer Manual ‎No edit summary

16:3216:32, 15 December 2011 diff hist +114‎ N Glossary:Project ‎ added glossary entry for project. current
16:3016:30, 15 December 2011 diff hist +761‎ N Glossary:Graphical Viewer Preferences ‎ added glossary entry for graphical viewer preferences current
16:2916:29, 15 December 2011 diff hist +2,133‎ N Glossary:Advanced Preferences ‎ added glossary entry for advanced preferences
16:2616:26, 15 December 2011 diff hist +427‎ N Glossary:CSP Preferences ‎ added glossary entry for csp preferences current
16:2516:25, 15 December 2011 diff hist +230‎ N Glossary:Syntax Highlighting Preferences ‎ Added syntax highlighting preferences current
16:2316:23, 15 December 2011 diff hist +1,197‎ N Glossary:animation preferences ‎ Animation Preferences added to glossary current

13:5913:59, 8 December 2011 diff hist +6‎ Glossary:deadlocked state ‎No edit summary current
13:5913:59, 8 December 2011 diff hist +73‎ N Glossary:deadlocked state ‎ Deadlocked State Glossary entry

13:0213:02, 18 April 2011 diff hist +31‎ m Why Prolog? ‎ grammar and punctuation edits
12:5412:54, 18 April 2011 diff hist +11‎ m Getting Involved ‎ grammar and punctuation
12:5112:51, 18 April 2011 diff hist +3‎ m Tutorial CSP First Step ‎ grammar and punctuation
12:4712:47, 18 April 2011 diff hist +9‎ m Tutorial Rodin Parameters ‎ grammar and punctuation
12:4412:44, 18 April 2011 diff hist 0‎ m Tutorial Rodin First Step ‎ s to z
12:4212:42, 18 April 2011 diff hist −12‎ m Using the Command-Line Version of ProB ‎ →‎Some probcli examples
12:4112:41, 18 April 2011 diff hist −12‎ m Using the Command-Line Version of ProB ‎ grammar and punctuatin
12:3912:39, 18 April 2011 diff hist −5‎ m Tutorial Model Checking, Proof and CBC ‎ grammar and punctuation current
12:3712:37, 18 April 2011 diff hist +1‎ m Tutorial Understanding ProB's Constraint Solver ‎ grammar and punctation
12:3012:30, 18 April 2011 diff hist −2‎ m Tutorial Understanding the Complexity of B Animation ‎ grammar and punctuation
12:2612:26, 18 April 2011 diff hist +4‎ m Tutorial Troubleshooting the Setup ‎ "", s to z
12:2312:23, 18 April 2011 diff hist +3‎ m Tutorial Setup Phases ‎ "", s to z
12:1812:18, 18 April 2011 diff hist −3‎ m Tutorial Complete Model Checking ‎ grammar and punctuation edits
12:1412:14, 18 April 2011 diff hist −6‎ m Tutorial First Model Checking ‎ spellig and punctuation current
12:1112:11, 18 April 2011 diff hist −3‎ m Tutorial First Step ‎ punctuation and spelling errors current
12:0812:08, 18 April 2011 diff hist 0‎ m Tutorial ‎ ,
12:0712:07, 18 April 2011 diff hist 0‎ m Troubleshooting ‎ s to z
12:0612:06, 18 April 2011 diff hist +9‎ m FAQ ‎ "", s to z
11:5911:59, 18 April 2011 diff hist +12‎ m Symmetry Reduction ‎ ""
11:5811:58, 18 April 2011 diff hist +2‎ m Other languages ‎ ""
11:5711:57, 18 April 2011 diff hist 0‎ m ProZ ‎ s to z
11:5411:54, 18 April 2011 diff hist +1‎ m CSP-M ‎ "", s to z
11:5111:51, 18 April 2011 diff hist +2‎ m LTL Model Checking ‎ s to z, ""
11:4911:49, 18 April 2011 diff hist +4‎ m Refinement Checking ‎ " "
11:4811:48, 18 April 2011 diff hist +12‎ m Constraint Based Checking ‎ " "
11:4411:44, 18 April 2011 diff hist +111‎ m Consistency Checking ‎ " "
11:3211:32, 18 April 2011 diff hist +38‎ m State Space Visualization ‎ " "
11:2711:27, 18 April 2011 diff hist 0‎ m Graphical Visualization ‎ s to z, " " hinzufügen
11:2111:21, 18 April 2011 diff hist +1‎ m Graphical Viewer ‎ s to z, submenu to sub-menu current
11:2011:20, 18 April 2011 diff hist +28‎ m General Presentation (tcl/tk) ‎ " " for commands
11:1411:14, 18 April 2011 diff hist 0‎ m Installation ‎ s to z
11:1311:13, 18 April 2011 diff hist +1‎ m The ProB Animator and Model Checker ‎ s to z

14:0714:07, 14 April 2011 diff hist +1‎ m Troubleshooting ‎ grammatical edits, punctuation edits

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