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
Uploads by Michael Leuschel
This special page shows all uploaded files.
File list
Items per page:
20
50
100
250
500
Username:
Include old versions of files
Go
First page
Previous page
Next page
Last page
Date
Name
Thumbnail
Size
Description
Versions
08:48, 11 November 2013
MLiftAnimateWithProB.png
(
file
)
36 KB
1
08:40, 11 November 2013
GroovyConsoleUpgradeLatest.png
(
file
)
28 KB
1
10:18, 11 September 2013
ProB-TLC RushHour Screenshot.png
(
file
)
178 KB
1
07:20, 5 September 2013
ProB GameOfLife Screenshot.png
(
file
)
139 KB
1
11:45, 30 July 2013
ProB RushHour Screenshot.png
(
file
)
163 KB
1
16:36, 22 May 2013
ProB Card Screenshot.png
(
file
)
176 KB
1
14:08, 11 October 2012
ProBWindowsFolder.png
(
file
)
12 KB
1
14:05, 11 October 2012
TkWindowsDownload.png
(
file
)
38 KB
1
16:45, 27 February 2012
StackConstructiveProBEvalConsoleFull2.png
(
file
)
20 KB
1
16:36, 27 February 2012
StackConstructiveProBEvalConsoleFull.png
(
file
)
25 KB
1
16:30, 27 February 2012
StackConstructiveProBEvalConsoleEmpty.png
(
file
)
12 KB
3
16:29, 27 February 2012
StackConstructiveProBEvalCommand.png
(
file
)
41 KB
1
15:44, 27 February 2012
Temporal Model Checker settings.png
(
file
)
28 KB
1
07:33, 25 February 2012
ProBRodinClassicPreference.png
(
file
)
42 KB
1
07:27, 25 February 2012
ProBRodinLoadedInTclTk.png
(
file
)
72 KB
1
07:15, 25 February 2012
ProBRodinExport.png
(
file
)
26 KB
1
07:18, 24 December 2011
StackConstructiveProB.png
(
file
)
145 KB
1
15:30, 25 July 2011
ProB WhileAfterErrClick.png
(
file
)
94 KB
1
16:03, 1 March 2011
ProBModelCheckNoCounterExampleFound.png
(
file
)
10 KB
2
16:03, 1 March 2011
DoubleCounterStatespace.png
(
file
)
43 KB
2
16:02, 1 March 2011
DoubleCounterStatespace2.png
(
file
)
50 KB
2
12:49, 1 March 2011
DoubleCounterCBCCommand.png
(
file
)
81 KB
1
12:39, 1 March 2011
CBCDoubleCounter2.png
(
file
)
17 KB
2
12:36, 1 March 2011
CBCDoubleCounter1.png
(
file
)
17 KB
1
08:52, 1 March 2011
ProBModelCheckNoCounterExampleFoundTrans.png
(
file
)
16 KB
1
12:56, 25 October 2010
GraphicalViewerSiemensSaoPauloL9.pdf
(
file
)
30 KB
1
15:15, 19 January 2010
ProB PropagationAfterLoad4.png
(
file
)
72 KB
1
14:51, 19 January 2010
ProB PropagationAfterLoadMsg3.png
(
file
)
21 KB
1
14:51, 19 January 2010
ProB PropagationAfterLoadDebug3.png
(
file
)
111 KB
1
14:51, 19 January 2010
ProB PropagationAfterLoad3.png
(
file
)
19 KB
1
14:44, 19 January 2010
ProB PropagationAfterLoad2.png
(
file
)
38 KB
1
14:30, 19 January 2010
ProB PropagationAfterLoad.png
(
file
)
25 KB
1
14:30, 19 January 2010
ProB PropagationAfterInit.png
(
file
)
40 KB
1
13:54, 19 January 2010
ProB Propagation.png
(
file
)
49 KB
1
13:53, 19 January 2010
ProB Propagation.pdf
(
file
)
24 KB
1
10:19, 19 January 2010
ProB GoldbachAfterInit.png
(
file
)
94 KB
1
08:48, 19 January 2010
ProB Jukebox AnalyseGraphicallyOperationPRE.png
(
file
)
12 KB
1
08:48, 19 January 2010
ProB Jukebox AnalyseGraphicallyOperationPRE3.png
(
file
)
14 KB
1
08:37, 19 January 2010
ProB Jukebox AnalyseGraphicallyCustom3.png
(
file
)
16 KB
1
08:36, 19 January 2010
ProB Jukebox AnalyseGraphicallyCustomCommand.png
(
file
)
11 KB
1
08:26, 19 January 2010
ProB JukeboxAfterInit3.png
(
file
)
42 KB
1
08:26, 19 January 2010
ProB Jukebox AnalyseGraphicallyUnsatProp2.png
(
file
)
33 KB
1
08:26, 19 January 2010
ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png
(
file
)
17 KB
2
08:25, 19 January 2010
ProB Jukebox DebugUnsatProp2.png
(
file
)
22 KB
1
16:54, 18 January 2010
ProB JukeboxAfterLoad2.png
(
file
)
43 KB
1
16:47, 18 January 2010
ProB Jukebox UnsatProp.png
(
file
)
11 KB
1
16:46, 18 January 2010
ProB Jukebox DebugUnsatProp.png
(
file
)
19 KB
1
16:46, 18 January 2010
ProB Jukebox AnalyseGraphicallyCommand.png
(
file
)
9 KB
1
16:46, 18 January 2010
ProB Jukebox AnalyseGraphicallyUnsatProp.png
(
file
)
21 KB
1
16:26, 18 January 2010
ProB Jukebox Statespace.png
(
file
)
28 KB
1
First page
Previous page
Next page
Last page