Toggle navigation
Components
ProB Cli
ProB Tcl/Tk
ProB Java API
BMotionWeb
ProB for Rodin
ProB for TLA
Documentation
ProB Tcl/Tk
BMotionWeb
ProB Java API
Download
Bugs
Links
Team
Navigation
Main Page
User Manual
Tutorials
Developer Manual
Benchmarks
Licence
Logic Calculator
Special Pages
Recent changes
User
Log in
Go
Search
Help
User contributions for Joy Clark
For
Joy Clark
talk
block log
uploads
logs
Search for contributions
Expand
Collapse
⧼contribs-top⧽
IP address or username:
Namespace:
all
(Main)
Talk
User
User talk
ProB Documentation
ProB Documentation talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Invert selection
Associated namespace
Tag
filter:
New redirect
Replaced
Only show edits that are latest revisions
Only show edits that are page creations
Hide minor edits
⧼contribs-date⧽
From date:
To date:
Search
(
newest
|
oldest
) View (
newer 500
|
older 500
) (
20
|
50
|
100
|
250
|
500
)
29 November 2012
12:41
12:41, 29 November 2012
diff
hist
+1,830
ProB 2.0 Development
→Basic Design Principles
10:59
10:59, 29 November 2012
diff
hist
+12
ProB 2.0 Development
No edit summary
10:17
10:17, 29 November 2012
diff
hist
+7
ProB 2.0 Development
No edit summary
10:13
10:13, 29 November 2012
diff
hist
+26
ProB 2.0 Development
No edit summary
10:13
10:13, 29 November 2012
diff
hist
+36
ProB 2.0 Development
No edit summary
10:03
10:03, 29 November 2012
diff
hist
+2
ProB 2.0 Development
No edit summary
10:03
10:03, 29 November 2012
diff
hist
+85
ProB 2.0 Development
No edit summary
28 November 2012
12:27
12:27, 28 November 2012
diff
hist
+46
N
ProB 2.0 Development
Created page with 'Information concerning the development of ProB'
12:26
12:26, 28 November 2012
diff
hist
+26
Developer Manual
No edit summary
15 December 2011
16:32
16:32, 15 December 2011
diff
hist
+114
N
Glossary:Project
added glossary entry for project.
current
16:30
16:30, 15 December 2011
diff
hist
+761
N
Glossary:Graphical Viewer Preferences
added glossary entry for graphical viewer preferences
current
16:29
16:29, 15 December 2011
diff
hist
+2,133
N
Glossary:Advanced Preferences
added glossary entry for advanced preferences
16:26
16:26, 15 December 2011
diff
hist
+427
N
Glossary:CSP Preferences
added glossary entry for csp preferences
current
16:25
16:25, 15 December 2011
diff
hist
+230
N
Glossary:Syntax Highlighting Preferences
Added syntax highlighting preferences
current
16:23
16:23, 15 December 2011
diff
hist
+1,197
N
Glossary:animation preferences
Animation Preferences added to glossary
current
8 December 2011
13:59
13:59, 8 December 2011
diff
hist
+6
Glossary:deadlocked state
No edit summary
current
13:59
13:59, 8 December 2011
diff
hist
+73
N
Glossary:deadlocked state
Deadlocked State Glossary entry
18 April 2011
13:02
13:02, 18 April 2011
diff
hist
+31
m
Why Prolog?
grammar and punctuation edits
12:54
12:54, 18 April 2011
diff
hist
+11
m
Getting Involved
grammar and punctuation
12:51
12:51, 18 April 2011
diff
hist
+3
m
Tutorial CSP First Step
grammar and punctuation
12:47
12:47, 18 April 2011
diff
hist
+9
m
Tutorial Rodin Parameters
grammar and punctuation
12:44
12:44, 18 April 2011
diff
hist
0
m
Tutorial Rodin First Step
s to z
12:42
12:42, 18 April 2011
diff
hist
−12
m
Using the Command-Line Version of ProB
→Some probcli examples
12:41
12:41, 18 April 2011
diff
hist
−12
m
Using the Command-Line Version of ProB
grammar and punctuatin
12:39
12:39, 18 April 2011
diff
hist
−5
m
Tutorial Model Checking, Proof and CBC
grammar and punctuation
current
12:37
12:37, 18 April 2011
diff
hist
+1
m
Tutorial Understanding ProB's Constraint Solver
grammar and punctation
12:30
12:30, 18 April 2011
diff
hist
−2
m
Tutorial Understanding the Complexity of B Animation
grammar and punctuation
12:26
12:26, 18 April 2011
diff
hist
+4
m
Tutorial Troubleshooting the Setup
"", s to z
12:23
12:23, 18 April 2011
diff
hist
+3
m
Tutorial Setup Phases
"", s to z
12:18
12:18, 18 April 2011
diff
hist
−3
m
Tutorial Complete Model Checking
grammar and punctuation edits
12:14
12:14, 18 April 2011
diff
hist
−6
m
Tutorial First Model Checking
spellig and punctuation
current
12:11
12:11, 18 April 2011
diff
hist
−3
m
Tutorial First Step
punctuation and spelling errors
current
12:08
12:08, 18 April 2011
diff
hist
0
m
Tutorial
,
12:07
12:07, 18 April 2011
diff
hist
0
m
Troubleshooting
s to z
12:06
12:06, 18 April 2011
diff
hist
+9
m
FAQ
"", s to z
11:59
11:59, 18 April 2011
diff
hist
+12
m
Symmetry Reduction
""
11:58
11:58, 18 April 2011
diff
hist
+2
m
Other languages
""
11:57
11:57, 18 April 2011
diff
hist
0
m
ProZ
s to z
11:54
11:54, 18 April 2011
diff
hist
+1
m
CSP-M
"", s to z
11:51
11:51, 18 April 2011
diff
hist
+2
m
LTL Model Checking
s to z, ""
11:49
11:49, 18 April 2011
diff
hist
+4
m
Refinement Checking
" "
11:48
11:48, 18 April 2011
diff
hist
+12
m
Constraint Based Checking
" "
11:44
11:44, 18 April 2011
diff
hist
+111
m
Consistency Checking
" "
11:32
11:32, 18 April 2011
diff
hist
+38
m
State Space Visualization
" "
11:27
11:27, 18 April 2011
diff
hist
0
m
Graphical Visualization
s to z, " " hinzufügen
11:21
11:21, 18 April 2011
diff
hist
+1
m
Graphical Viewer
s to z, submenu to sub-menu
current
11:20
11:20, 18 April 2011
diff
hist
+28
m
General Presentation (tcl/tk)
" " for commands
11:14
11:14, 18 April 2011
diff
hist
0
m
Installation
s to z
11:13
11:13, 18 April 2011
diff
hist
+1
m
The ProB Animator and Model Checker
s to z
14 April 2011
14:07
14:07, 14 April 2011
diff
hist
+1
m
Troubleshooting
grammatical edits, punctuation edits
14:05
14:05, 14 April 2011
diff
hist
−1
m
FAQ
→Finding Multiple Assertion Violations
14:04
14:04, 14 April 2011
diff
hist
0
m
FAQ
→How does ProB treat INT and NAT as opposed to INTEGER and NATURAL?
14:04
14:04, 14 April 2011
diff
hist
−4
m
FAQ
→Some of my machines do not behave as expected.
14:03
14:03, 14 April 2011
diff
hist
−9
m
FAQ
→I cannot visualise the state space
:
grammar, punctuation
14:01
14:01, 14 April 2011
diff
hist
−2
m
FAQ
→ProB complains that some variables are not given a proper type
14:00
14:00, 14 April 2011
diff
hist
+6
FAQ
→The constraint based checker is very slow and does not always work
:
grammar, punctuation
13:58
13:58, 14 April 2011
diff
hist
−5
m
FAQ
→What do the funny question marks in the Operations Pane mean?
:
grammar, punctuation
13:57
13:57, 14 April 2011
diff
hist
−1
m
FAQ
→Which Features of B are covered?
13:56
13:56, 14 April 2011
diff
hist
0
FAQ
→Is there support for Refinement?
13:56
13:56, 14 April 2011
diff
hist
−6
FAQ
→What about the support for Refinement?
:
title change from "What about support for Refinement"
13:55
13:55, 14 April 2011
diff
hist
+1
m
FAQ
→What about the support for Refinement?
:
punctuation
13:54
13:54, 14 April 2011
diff
hist
0
m
FAQ
→ProB seems stuck when loading a machine
:
punctuation
13:53
13:53, 14 April 2011
diff
hist
−1
m
FAQ
→How do I perform a self-check of ProB?
:
comma
13:50
13:50, 14 April 2011
diff
hist
+1
m
Recursively Defined Functions
grammatical edits, punctuation edits
13:47
13:47, 14 April 2011
diff
hist
+8
m
Other languages
grammatical edits, punctuation edits
13:45
13:45, 14 April 2011
diff
hist
+65
m
ProZ
grammatical edits, punctuation edits
13:34
13:34, 14 April 2011
diff
hist
+26
m
CSP-M
grammatical edits, punctuation edits
13:27
13:27, 14 April 2011
diff
hist
+1
m
Using ProB with Atelier B
No edit summary
13:27
13:27, 14 April 2011
diff
hist
+30
m
Using ProB with Atelier B
grammatical edits, punctuation edits, changed "well-definedness" to "clarity"
13:12
13:12, 14 April 2011
diff
hist
+18
m
LTL Model Checking
grammatical edits, punctuation edits
13:05
13:05, 14 April 2011
diff
hist
−2
m
Constraint Based Checking
grammatical edits, punctuation edits
12:58
12:58, 14 April 2011
diff
hist
+14
m
Consistency Checking
grammatical edits, punctuation edits
12:18
12:18, 14 April 2011
diff
hist
+18
m
State Space Visualization
grammar and punctuation edits
11:50
11:50, 14 April 2011
diff
hist
−13
m
Graphical Visualization
→The Graphical Animation Model
:
word choice edited
09:12
09:12, 14 April 2011
diff
hist
+68
m
Graphical Visualization
grammatical edits, punctuation edits
08:49
08:49, 14 April 2011
diff
hist
−7
m
Graphical Viewer
grammatical edits, punctuation edits
08:44
08:44, 14 April 2011
diff
hist
+15
m
General Presentation (tcl/tk)
→Preferences
:
changed sentence structure
08:37
08:37, 14 April 2011
diff
hist
−16
m
General Presentation (tcl/tk)
→The ProB Main Window
:
grammatical edits, punctuation edits
08:22
08:22, 14 April 2011
diff
hist
+10
m
Current Limitations
grammar edits, punctuation edits
08:14
08:14, 14 April 2011
diff
hist
0
m
Installation
→Installation Instruction for ProB (Rodin Plugin)
:
spelling error
08:14
08:14, 14 April 2011
diff
hist
−2
m
Installation
→Checklist/Troubleshooting
:
punctuation edits
08:11
08:11, 14 April 2011
diff
hist
+2
m
Installation
→Installation Instruction for ProB (Standalone)
:
minor edits
08:06
08:06, 14 April 2011
diff
hist
+1
Installation
→Which version shall I use?
:
changed heading
08:05
08:05, 14 April 2011
diff
hist
+7
Installation
→Which versions are there?
:
changed heading
12 April 2011
14:58
14:58, 12 April 2011
diff
hist
−2
m
Other languages
changed commas
14:55
14:55, 12 April 2011
diff
hist
+16
m
ProZ
→Preferences
:
changed "often" to frequently, changed word order
14:51
14:51, 12 April 2011
diff
hist
0
CSP-M
→Limitations of CSP-M Support
:
changed comma to semi-colon
14:50
14:50, 12 April 2011
diff
hist
+3
m
CSP-M
→Limitations of CSP-M Support
:
added a but
14:47
14:47, 12 April 2011
diff
hist
+2
m
Tutorial First Step
→Starting ProB
:
changed list in parentheses
14:44
14:44, 12 April 2011
diff
hist
0
m
Tutorial Understanding the Complexity of B Animation
→Complexity of Animation
:
fixed grammatical errors, changed word order, changed "possible enablings of the operation" to "possible ways to enable the operation"
14:26
14:26, 12 April 2011
diff
hist
+1
m
Tutorial Setup Phases
→1. Loading
:
added a space
14:22
14:22, 12 April 2011
diff
hist
+5
m
Tips: Writing Models for ProB
added a space, changed sentence order, added "the"
14:19
14:19, 12 April 2011
diff
hist
−5
m
FAQ
→Some of my machines do not behave as expected.
:
changed myself to me
14:15
14:15, 12 April 2011
diff
hist
+1
m
FAQ
→I cannot visualise the state space
:
changed + to and
14:02
14:02, 12 April 2011
diff
hist
0
m
Tutorial Understanding ProB's Constraint Solver
→Adding universally quantified formulas
:
changed sentence structure
13:47
13:47, 12 April 2011
diff
hist
−11
m
Tutorial Understanding ProB's Constraint Solver
No edit summary
13:37
13:37, 12 April 2011
diff
hist
+5
m
Tutorial Understanding ProB's Constraint Solver
changed "grasped" to "have grasped"
13:36
13:36, 12 April 2011
diff
hist
+1
m
Tutorial Understanding the Complexity of B Animation
→Complexity of Animation
:
changed sentence order
13:32
13:32, 12 April 2011
diff
hist
+3
m
Tutorial Understanding the Complexity of B Animation
→Undecidability
:
edited commas, changed "requires" to "is required"
13:25
13:25, 12 April 2011
diff
hist
+5
m
Tutorial Understanding the Complexity of B Animation
grasped to have grasped
13:25
13:25, 12 April 2011
diff
hist
+5
m
Tutorial Troubleshooting the Setup
grasped to have grasped
13:24
13:24, 12 April 2011
diff
hist
+5
m
Tutorial Setup Phases
No edit summary
13:07
13:07, 12 April 2011
diff
hist
−3
m
Tutorial Troubleshooting the Setup
→Simple Inconsistency in the PROPERTIES
(
newest
|
oldest
) View (
newer 500
|
older 500
) (
20
|
50
|
100
|
250
|
500
)