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
Freetype example 1.png
Vella
11:30, 24 April 2024
1,346 × 1,026; 58 KB
IceCreamCoverage.png
Michael Leuschel
07:35, 24 April 2024
859 × 704; 139 KB
JupyterSolveSat.png
Michael Leuschel
13:38, 23 April 2024
1,230 × 344; 45 KB
JupypterOpt3.png
Michael Leuschel
13:37, 23 April 2024
1,220 × 173; 40 KB
JupypterOpt2.png
Michael Leuschel
13:37, 23 April 2024
1,223 × 386; 67 KB
JupypterOpt1.png
Michael Leuschel
13:37, 23 April 2024
1,217 × 343; 57 KB
ProBAtAGlance.png
Michael Leuschel
14:46, 7 March 2024
1,261 × 885; 147 KB
MonteCarloSimulation.png
Fabian Vu
13:07, 14 January 2024
748 × 748; 67 KB
HypothesisTesting.png
Fabian Vu
13:06, 14 January 2024
750 × 1,186; 96 KB
Estimation.png
Fabian Vu
13:06, 14 January 2024
751 × 1,193; 93 KB
SimB Window.png
Fabian Vu
11:12, 14 January 2024
2,392 × 1,450; 358 KB
Open SimB.png
Fabian Vu
11:00, 14 January 2024
2,628 × 1,818; 691 KB
ProB2 UI Rules View.png
Jan Gruteser
09:37, 8 January 2024
649 × 630; 29 KB
IceCream Generic.png
Michael Leuschel
09:10, 8 January 2024
612 × 696; 55 KB
IceCream Generic.pdf
Michael Leuschel
08:04, 8 January 2024
; 21 KB
ProB2UI VisB View ExportedHTML.png
Michael Leuschel
08:11, 24 January 2023
1,476 × 1,390; 211 KB
ProBTerminalizerReplDemo.gif
Michael Leuschel
11:44, 8 November 2022
657 × 414; 719 KB
ProBTerminalizerDemo.gif
Michael Leuschel
11:38, 8 November 2022
622 × 334; 1.73 MB
ProB2UI VisB View Export.png
Michael Leuschel
06:25, 25 March 2022
845 × 193; 35 KB
ProB2UI VisB Debug Table View.png
Michael Leuschel
06:23, 25 March 2022
1,185 × 486; 169 KB
DisproverProB2UIStateView2.png
Michael Leuschel
11:02, 4 March 2022
648 × 146; 24 KB
DisproverExportExample.png
Michael Leuschel
09:31, 4 March 2022
383 × 339; 44 KB
DisproverProB2UIStateView1.png
Michael Leuschel
09:26, 4 March 2022
664 × 442; 52 KB
CBCStaticAssertionCheck.png
Michael Leuschel
09:26, 4 March 2022
591 × 158; 24 KB
DisproverPrefs.png
Michael Leuschel
08:42, 4 March 2022
845 × 271; 52 KB
ProB AtelierB StartProB Menu.png
Michael Leuschel
08:49, 24 January 2022
364 × 387; 49 KB
Lift proj.png
Michael Leuschel
07:20, 27 November 2021
612 × 792; 43 KB
Lift proj.pdf
Michael Leuschel
07:18, 27 November 2021
; 18 KB
ProBUMLSeqChartCmd.png
Michael Leuschel
09:33, 24 November 2021
536 × 326; 86 KB
ProBUMLSeqCharScheduler.png
Michael Leuschel
09:17, 24 November 2021
330 × 423; 18 KB
TrafficLight Simulation.gif
Fabian Vu
12:13, 3 March 2021
600 × 218; 398 KB
TL4.png
Fabian Vu
10:48, 3 March 2021
191 × 293; 9 KB
TL3.png
Fabian Vu
10:43, 3 March 2021
200 × 300; 10 KB
TL2.png
Fabian Vu
10:43, 3 March 2021
200 × 300; 9 KB
TL1.png
Fabian Vu
10:42, 3 March 2021
200 × 300; 10 KB
TL0.png
Fabian Vu
10:42, 3 March 2021
200 × 300; 8 KB
ProB2UI VisB View.png
Michael Leuschel
09:04, 3 March 2021
845 × 282; 22 KB
ProB2JavaFX UI Overview VisB.png
Michael Leuschel
09:00, 3 March 2021
1,478 × 961; 301 KB
MBT-MCM-Result-SC.png
David Geleßus
16:06, 4 February 2021
255 × 89; 3 KB
MBT-MCM-Result-Acc.png
David Geleßus
16:06, 4 February 2021
255 × 89; 3 KB
MBT-MCM-Dialog-SC.png
David Geleßus
16:05, 4 February 2021
284 × 406; 16 KB
MBT-MCM-Dialog-Acc.png
David Geleßus
16:05, 4 February 2021
284 × 406; 19 KB
MBT-CBC-Tree-SC.png
David Geleßus
16:05, 4 February 2021
715 × 251; 9 KB
MBT-CBC-Tree-DC.png
David Geleßus
16:05, 4 February 2021
715 × 769; 46 KB
MBT-CBC-Tree-Acc.png
David Geleßus
16:04, 4 February 2021
715 × 285; 25 KB
MBT-CBC-Result-SC.png
David Geleßus
16:04, 4 February 2021
607 × 399; 9 KB
MBT-CBC-Menu-SC.png
David Geleßus
16:04, 4 February 2021
589 × 311; 34 KB
MBT-CBC-Dialog-SC.png
David Geleßus
16:04, 4 February 2021
257 × 400; 14 KB
ProB AtelierB Proof.png
Michael Leuschel
09:58, 17 September 2020
1,151 × 636; 125 KB
ProB AtelierB Resource.png
Michael Leuschel
09:52, 17 September 2020
1,970 × 1,266; 227 KB
(
newest
|
oldest
) View (
newer 50
|
older 50
) (
20
|
50
|
100
|
250
|
500
)