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
Gallery of new files
This special page shows the last uploaded files.
Filter
IP address or username
Show uploads by bots
Media type:
3D
Audio
Bitmap images
Compressed formats
Drawings (vector images)
Executables
Office
Rich media
Textual
Unknown
Videos
From date:
To date:
Search
ProB Jukebox AnalyseGraphicallyOperationPRE.png
Michael Leuschel
08:48, 19 January 2010
296 × 245; 12 KB
ProB Jukebox AnalyseGraphicallyOperationPRE3.png
Michael Leuschel
08:48, 19 January 2010
341 × 222; 14 KB
ProB Jukebox AnalyseGraphicallyCustom3.png
Michael Leuschel
08:37, 19 January 2010
309 × 314; 16 KB
ProB Jukebox AnalyseGraphicallyCustomCommand.png
Michael Leuschel
08:36, 19 January 2010
453 × 128; 11 KB
ProB JukeboxAfterInit3.png
Michael Leuschel
08:26, 19 January 2010
838 × 759; 42 KB
ProB Jukebox AnalyseGraphicallyUnsatProp2.png
Michael Leuschel
08:26, 19 January 2010
849 × 551; 33 KB
ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png
Michael Leuschel
08:26, 19 January 2010
332 × 318; 17 KB
ProB Jukebox DebugUnsatProp2.png
Michael Leuschel
08:25, 19 January 2010
539 × 383; 22 KB
ProB JukeboxAfterLoad2.png
Michael Leuschel
16:54, 18 January 2010
836 × 757; 43 KB
ProB Jukebox UnsatProp.png
Michael Leuschel
16:47, 18 January 2010
347 × 128; 11 KB
ProB Jukebox DebugUnsatProp.png
Michael Leuschel
16:46, 18 January 2010
536 × 382; 19 KB
ProB Jukebox AnalyseGraphicallyCommand.png
Michael Leuschel
16:46, 18 January 2010
356 × 192; 9 KB
ProB Jukebox AnalyseGraphicallyUnsatProp.png
Michael Leuschel
16:46, 18 January 2010
597 × 349; 21 KB
ProB Jukebox Statespace.png
Michael Leuschel
16:26, 18 January 2010
601 × 747; 28 KB
ProB JukeboxReopenCommand.png
Michael Leuschel
16:26, 18 January 2010
277 × 97; 6 KB
ProB Jukebox StatespaceFull.png
Michael Leuschel
16:26, 18 January 2010
438 × 560; 49 KB
ProB JukeboxAfterINITIALISATION.png
Michael Leuschel
16:09, 18 January 2010
834 × 261; 14 KB
ProB JukeboxAfterSETUPCONSTANTS.png
Michael Leuschel
16:09, 18 January 2010
829 × 263; 13 KB
ProB AnimationPhases.png
Michael Leuschel
15:53, 18 January 2010
165 × 537; 36 KB
ProB JukeboxAfterLoad.png
Michael Leuschel
15:52, 18 January 2010
835 × 756; 43 KB
ProB GraphicalViewerPreferences Shapes.png
Michael Leuschel
15:03, 18 January 2010
454 × 282; 20 KB
ProB LiftAfterModelCheck Statespace.png
Michael Leuschel
15:02, 18 January 2010
551 × 773; 29 KB
ProB LiftAfterModelCheck Coverage.png
Michael Leuschel
14:56, 18 January 2010
535 × 255; 16 KB
Ltlassertions.png
Jens Bendisposto
14:54, 18 January 2010
637 × 418; 29 KB
Ltldialog.png
Jens Bendisposto
14:41, 18 January 2010
617 × 323; 30 KB
ProBWinModelCheckCommand.png
Michael Leuschel
14:37, 18 January 2010
414 × 206; 14 KB
ProBWinModelCheckDialog.png
Michael Leuschel
14:37, 18 January 2010
219 × 258; 14 KB
ProBWinModelCheckCounterExampleFound.png
Michael Leuschel
14:37, 18 January 2010
346 × 131; 11 KB
ProB LiftAfterModelCheck.png
Michael Leuschel
14:37, 18 January 2010
829 × 263; 13 KB
Quality.png
Jens Bendisposto
14:27, 18 January 2010
44 × 44; 2 KB
ProB LiftAfterDecBack.png
Michael Leuschel
14:23, 18 January 2010
830 × 264; 13 KB
ProB LiftAfterDec.png
Michael Leuschel
14:23, 18 January 2010
830 × 261; 13 KB
ProB LiftAfterInitInvariant.png
Michael Leuschel
14:22, 18 January 2010
532 × 142; 12 KB
ProB LiftAfterInit.png
Michael Leuschel
14:12, 18 January 2010
831 × 267; 13 KB
ProB LiftAfterLoad.png
Michael Leuschel
14:01, 18 January 2010
834 × 756; 38 KB
ProBWinExamplesFolder.png
Michael Leuschel
14:00, 18 January 2010
560 × 416; 33 KB
ProBWinOpen.png
Michael Leuschel
14:00, 18 January 2010
385 × 136; 9 KB
ProBWinContents.png
Michael Leuschel
13:52, 18 January 2010
294 × 173; 9 KB
ProBStartTerminal.png
Michael Leuschel
13:50, 18 January 2010
667 × 336; 25 KB
ProBStartWindow.png
Michael Leuschel
13:44, 18 January 2010
802 × 705; 94 KB
Trace to invariant violation.png
Jens Bendisposto
13:35, 18 January 2010
333 × 255; 50 KB
Visualising the state space.png
Jens Bendisposto
13:34, 18 January 2010
376 × 452; 59 KB
Sudoku graphvis1.png
Jens Bendisposto
13:27, 18 January 2010
615 × 209; 100 KB
Scheduler graphvis1.png
Jens Bendisposto
13:24, 18 January 2010
544 × 212; 23 KB
Puzzle graphical1.png
Jens Bendisposto
13:12, 18 January 2010
429 × 204; 33 KB
GraphicalViewerPreferences.png
Michael Leuschel
12:49, 18 January 2010
580 × 312; 57 KB
GraphicalViewerPreferencesMenuEntry.png
Michael Leuschel
12:49, 18 January 2010
272 × 258; 38 KB
GraphicalViewerSubMenu.png
Michael Leuschel
12:28, 18 January 2010
455 × 258; 52 KB
Out of date icon.png
Jens Bendisposto
15:44, 18 November 2009
40 × 40; 3 KB
Install.swf
Jens Bendisposto
16:07, 16 November 2009
; 365 KB
(
newest
|
oldest
) View (
newer 50
|
older 50
) (
20
|
50
|
100
|
250
|
500
)