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 David Geleßus
For
David Geleßus
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 20
|
older 20
) (
20
|
50
|
100
|
250
|
500
)
4 February 2021
17:11
17:11, 4 February 2021
diff
hist
−22
Tutorial Various Optimizations
Update PDF link
current
16:28
16:28, 4 February 2021
diff
hist
+2
m
Test Case Generation
→With a test description file
:
Fix heading level
current
16:27
16:27, 4 February 2021
diff
hist
+5,672
Test Case Generation
Update with content from prob2-doc (originally written by Jessica Petrasch)
16:07
16:07, 4 February 2021
diff
hist
+2,318
Tutorial Model-Based Testing
Update with content from prob2-doc (originally written by Jessica Petrasch)
current
16:06
16:06, 4 February 2021
diff
hist
+63
N
File:MBT-MCM-Result-SC.png
Originally added by Jessica Petrasch in prob2-doc
current
16:06
16:06, 4 February 2021
diff
hist
+63
N
File:MBT-MCM-Result-Acc.png
Originally added by Jessica Petrasch in prob2-doc
current
16:05
16:05, 4 February 2021
diff
hist
+63
N
File:MBT-MCM-Dialog-SC.png
Originally added by Jessica Petrasch in prob2-doc
current
16:05
16:05, 4 February 2021
diff
hist
+63
N
File:MBT-MCM-Dialog-Acc.png
Originally added by Jessica Petrasch in prob2-doc
current
16:05
16:05, 4 February 2021
diff
hist
+63
N
File:MBT-CBC-Tree-SC.png
Originally added by Jessica Petrasch in prob2-doc
current
16:05
16:05, 4 February 2021
diff
hist
+63
N
File:MBT-CBC-Tree-DC.png
Originally added by Jessica Petrasch in prob2-doc
current
16:04
16:04, 4 February 2021
diff
hist
+63
N
File:MBT-CBC-Tree-Acc.png
Originally added by Jessica Petrasch in prob2-doc
current
16:04
16:04, 4 February 2021
diff
hist
+63
N
File:MBT-CBC-Result-SC.png
Originally added by Jessica Petrasch in prob2-doc
current
16:04
16:04, 4 February 2021
diff
hist
+63
N
File:MBT-CBC-Menu-SC.png
Originally added by Jessica Petrasch in prob2-doc
current
16:04
16:04, 4 February 2021
diff
hist
+63
N
File:MBT-CBC-Dialog-SC.png
Originally added by Jessica Petrasch in prob2-doc
current
15:52
15:52, 4 February 2021
diff
hist
−54
State Space Visualization
Update paper link
15:50
15:50, 4 February 2021
diff
hist
−50
Eval Console
Update download page link
current
15:45
15:45, 4 February 2021
diff
hist
+698
Using the Command-Line Version of ProB
Document -pref_group (from prob2-doc, originally added by Michael Leuschel)
15:33
15:33, 4 February 2021
diff
hist
−21
CSP-M
Update paper link
current
14:51
14:51, 4 February 2021
diff
hist
+28
ProB for Event-B
Update Rodin handbook links
current
14:48
14:48, 4 February 2021
diff
hist
−260
ProB for Rodin
Update Camille update sites (there seems to be just the nightly update site now)
current
(
newest
|
oldest
) View (
newer 20
|
older 20
) (
20
|
50
|
100
|
250
|
500
)