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
Wd prob.pdf
Michael Leuschel
09:23, 15 July 2020
; 681 KB
WD VSCode Example2.png
Michael Leuschel
07:47, 17 June 2020
564 × 272; 44 KB
WD VSCode Example1.png
Michael Leuschel
07:47, 17 June 2020
445 × 265; 38 KB
WD VSCode Settings.png
Michael Leuschel
07:46, 17 June 2020
1,334 × 535; 160 KB
ProBLTSMinTk.png
Michael Leuschel
12:44, 9 June 2020
859 × 709; 268 KB
Rodin Induction Counter ProB.png
Michael Leuschel
09:18, 22 April 2020
575 × 501; 51 KB
Rodin Induction Operation ProB.png
Michael Leuschel
09:00, 22 April 2020
524 × 345; 38 KB
Rodin Induction ScreenshotFinal.png
Michael Leuschel
17:15, 21 April 2020
209 × 395; 31 KB
Rodin Induction Screenshot3.png
Michael Leuschel
17:08, 21 April 2020
826 × 589; 121 KB
Rodin Induction Screenshot2.png
Michael Leuschel
17:07, 21 April 2020
826 × 446; 71 KB
Rodin Induction Screenshot1.png
Michael Leuschel
17:06, 21 April 2020
1,150 × 452; 62 KB
ProB Induction Screenshot1.png
Michael Leuschel
16:54, 21 April 2020
601 × 365; 40 KB
ProB HL3 DB Screenshot.png
Michael Leuschel
08:51, 17 April 2020
1,040 × 709; 673 KB
ProB HL3 DB Screenshot.pdf
Michael Leuschel
08:41, 17 April 2020
; 4.21 MB
WD Atom Example.png
Michael Leuschel
09:50, 15 April 2020
501 × 220; 32 KB
WD Atom Settings.png
Michael Leuschel
09:50, 15 April 2020
711 × 489; 56 KB
WD Tk List.png
Michael Leuschel
09:44, 15 April 2020
545 × 246; 46 KB
WD Tk Warnings.png
Michael Leuschel
09:44, 15 April 2020
858 × 702; 165 KB
WD Tk Menu.png
Michael Leuschel
09:44, 15 April 2020
580 × 377; 165 KB
Prob show specialized invariants result.png
Michael Leuschel
12:39, 5 March 2020
607 × 392; 96 KB
Prob show specialized invariants menu.png
Michael Leuschel
12:38, 5 March 2020
306 × 81; 41 KB
Rodin export pos.png
Michael Leuschel
10:24, 5 March 2020
606 × 97; 81 KB
ProB2JavaFX UI Overview New.png
Michael Leuschel
07:46, 20 July 2019
1,457 × 732; 193 KB
ExternalFunctions.pdf
Michael Leuschel
09:23, 1 December 2018
; 174 KB
AlloyAtelierB.png
Michael Leuschel
11:23, 7 February 2018
1,115 × 877; 193 KB
ProBAlloyRiver.png
Michael Leuschel
11:17, 7 February 2018
860 × 699; 177 KB
ProBAlloyQueens.png
Michael Leuschel
08:24, 7 February 2018
898 × 708; 138 KB
Statistics.png
Yumiko Takahashi
07:18, 11 October 2017
282 × 554; 20 KB
Add CBC.png
Yumiko Takahashi
07:13, 11 October 2017
592 × 212; 11 KB
CBC.png
Yumiko Takahashi
07:10, 11 October 2017
557 × 454; 29 KB
LTL.png
Yumiko Takahashi
07:10, 11 October 2017
557 × 454; 23 KB
Modelchecking Stage.png
Yumiko Takahashi
07:09, 11 October 2017
262 × 326; 15 KB
Modelchecking.png
Yumiko Takahashi
07:09, 11 October 2017
557 × 408; 30 KB
Runconfigurations Tab.png
Yumiko Takahashi
06:49, 11 October 2017
504 × 242; 10 KB
Add Preference.png
Yumiko Takahashi
06:48, 11 October 2017
632 × 703; 48 KB
Preferences Tab.png
Yumiko Takahashi
06:48, 11 October 2017
504 × 242; 8 KB
Verifications Tab.png
Yumiko Takahashi
06:47, 11 October 2017
504 × 242; 11 KB
Machines Tab.png
Yumiko Takahashi
06:46, 11 October 2017
504 × 242; 11 KB
Project Tab.png
Yumiko Takahashi
06:45, 11 October 2017
504 × 242; 11 KB
History.png
Yumiko Takahashi
06:20, 11 October 2017
228 × 273; 8 KB
EvalB.png
Michael Leuschel
07:45, 6 October 2017
979 × 839; 70 KB
Help.png
Yumiko Takahashi
08:57, 4 October 2017
600 × 145; 20 KB
View.png
Yumiko Takahashi
08:57, 4 October 2017
600 × 145; 20 KB
Perspectives.png
Yumiko Takahashi
08:56, 4 October 2017
600 × 145; 19 KB
Consoles.png
Yumiko Takahashi
08:56, 4 October 2017
600 × 145; 19 KB
Formula.png
Yumiko Takahashi
08:56, 4 October 2017
600 × 145; 19 KB
Edit.png
Yumiko Takahashi
08:55, 4 October 2017
600 × 145; 20 KB
File.png
Yumiko Takahashi
08:55, 4 October 2017
600 × 225; 34 KB
ProB2JavaFX UI Overview.png
Michael Leuschel
08:05, 6 September 2017
1,503 × 680; 106 KB
ProB SendMoreMoney Screenshot.png
Michael Leuschel
16:34, 10 February 2017
820 × 582; 64 KB
Sbmf 2016 latex.pdf
Michael Leuschel
05:55, 25 October 2016
; 333 KB
Puzzle latex presentation.pdf
Michael Leuschel
05:54, 25 October 2016
; 1,019 KB
Prob latex doc.pdf
Michael Leuschel
11:41, 7 September 2016
; 323 KB
ProB-Atom-Package.zip
Dominik Hansen
10:14, 6 July 2016
; 254 KB
ProBWindowsDownload.png
Dominik Hansen
15:14, 30 March 2016
858 × 275; 72 KB
CCS.Formal.Prototype.zip
Lukas Ladenberger
16:31, 10 March 2016
; 175 KB
Phonebook.Formal.Prototype.zip
Lukas Ladenberger
16:30, 10 March 2016
; 198 KB
B-mode.el.zip
Michael Leuschel
13:51, 26 February 2016
; 8 KB
EnableGraph Example.png
Ivaylo Dobrikov
12:48, 22 February 2016
612 × 791; 68 KB
ProB Bishops 8 14 Screenshot.png
Michael Leuschel
14:43, 18 February 2016
391 × 390; 13 KB
EnablingAnalysisMenu.png
Ivaylo Dobrikov
14:50, 16 February 2016
723 × 435; 153 KB
EnablingResults.png
Ivaylo Dobrikov
14:54, 11 February 2016
800 × 230; 67 KB
ImpossibleDisableExample.png
Ivaylo Dobrikov
14:40, 11 February 2016
466 × 185; 18 KB
ToggleExample.png
Ivaylo Dobrikov
14:38, 11 February 2016
466 × 145; 15 KB
SyntacticUnchangedExample.png
Ivaylo Dobrikov
14:38, 11 February 2016
466 × 157; 17 KB
SyntacticIndependentExample.png
Ivaylo Dobrikov
14:38, 11 February 2016
466 × 169; 18 KB
SyntacticFullyIndependentExample.png
Ivaylo Dobrikov
14:38, 11 February 2016
466 × 174; 19 KB
PossibleExample.png
Ivaylo Dobrikov
14:37, 11 February 2016
464 × 157; 16 KB
PossibleEnableExample.png
Ivaylo Dobrikov
14:37, 11 February 2016
422 × 152; 18 KB
PossibleDisableExample.png
Ivaylo Dobrikov
14:36, 11 February 2016
463 × 187; 18 KB
KeepExample.png
Ivaylo Dobrikov
14:36, 11 February 2016
465 × 159; 15 KB
InfeasibleExample.png
Ivaylo Dobrikov
14:36, 11 February 2016
466 × 159; 17 KB
ImpossibleKeepExample.png
Ivaylo Dobrikov
14:35, 11 February 2016
466 × 176; 17 KB
ImpossibleExample.png
Ivaylo Dobrikov
14:35, 11 February 2016
465 × 167; 15 KB
GuaranteedKeepExample.png
Ivaylo Dobrikov
14:34, 11 February 2016
466 × 187; 17 KB
GuaranteedExample.png
Ivaylo Dobrikov
14:34, 11 February 2016
466 × 161; 17 KB
GuaranteedEnableExample.png
Ivaylo Dobrikov
14:33, 11 February 2016
465 × 176; 18 KB
GuaranteedRelationEn.png
Ivaylo Dobrikov
10:37, 11 February 2016
233 × 156; 13 KB
ImpossibleRelationEn.png
Ivaylo Dobrikov
10:36, 11 February 2016
145 × 125; 7 KB
GuaranteedRelation.png
Ivaylo Dobrikov
10:34, 11 February 2016
233 × 156; 13 KB
PossibleEnableRelation.png
Ivaylo Dobrikov
14:58, 10 February 2016
145 × 125; 8 KB
PossibleDisableRelation.png
Ivaylo Dobrikov
14:58, 10 February 2016
145 × 125; 8 KB
ImpossibleKeepRelation.png
Ivaylo Dobrikov
14:57, 10 February 2016
145 × 125; 7 KB
ImpossibleDisableRelation.png
Ivaylo Dobrikov
14:57, 10 February 2016
145 × 125; 8 KB
GuaranteedEnableKeepRelation.png
Ivaylo Dobrikov
14:57, 10 February 2016
359 × 125; 11 KB
JobsPuzzleSolutionAsGraph.png
Bivab
10:10, 2 February 2016
662 × 379; 60 KB
ProB DieHard Screenshot.png
Michael Leuschel
07:12, 2 February 2016
971 × 818; 166 KB
ProB Goal Found.png
Michael Leuschel
07:06, 2 February 2016
411 × 119; 14 KB
Jars Panes.png
Michael Leuschel
07:05, 2 February 2016
974 × 176; 41 KB
ProB ModelCheckGoalBox.png
Michael Leuschel
07:04, 2 February 2016
276 × 156; 20 KB
Cosim-160122.zip
Lukas Ladenberger
13:30, 27 January 2016
; 4.79 MB
HDMachine-160122.zip
Lukas Ladenberger
10:01, 27 January 2016
; 3.96 MB
HDMachine-BMS-160122.zip
Lukas Ladenberger
07:47, 27 January 2016
; 3.87 MB
HDMachineVisualisation.zip
Lukas Ladenberger
16:50, 26 January 2016
; 3.87 MB
ProB Argumentation CustomDot.png
Michael Leuschel
18:42, 20 January 2016
322 × 712; 21 KB
ProBRodinArgumentationState.png
Michael Leuschel
15:41, 20 January 2016
428 × 297; 40 KB
ProB Argumentation Screenshot1.png
Michael Leuschel
15:15, 20 January 2016
944 × 885; 173 KB
ProB Argumentation Dot3.png
Michael Leuschel
15:06, 20 January 2016
308 × 578; 39 KB
ProB Argumentation Dot2.png
Michael Leuschel
15:05, 20 January 2016
304 × 565; 39 KB
ProB Argumentation Dot1.png
Michael Leuschel
15:05, 20 January 2016
305 × 574; 39 KB
ProB Argumentation Dot.png
Michael Leuschel
14:36, 20 January 2016
304 × 578; 38 KB
ProB Argumentation VisCurStateAsGraph.png
Michael Leuschel
14:36, 20 January 2016
519 × 175; 50 KB
ProB Argumentation Screenshot2.png
Michael Leuschel
14:36, 20 January 2016
858 × 268; 35 KB
RushHour full sfdp.png
Michael Leuschel
16:19, 22 December 2015
707 × 1,108; 252 KB
Threads51 POR proj.png
Michael Leuschel
13:45, 21 December 2015
498 × 723; 45 KB
Threads51 proj.png
Michael Leuschel
13:45, 21 December 2015
547 × 698; 54 KB
Threads51 POR sfdp.png
Michael Leuschel
13:37, 21 December 2015
831 × 862; 78 KB
Threads51 sfdp.png
Michael Leuschel
13:37, 21 December 2015
833 × 1,178; 1,009 KB
MCInnerFIFO q3 sfdp.png
Michael Leuschel
13:00, 21 December 2015
1,755 × 1,071; 2.84 MB
Hanoi6 sfdp.png
Michael Leuschel
12:16, 21 December 2015
833 × 874; 185 KB
Hanoi6 proj cardondest.png
Michael Leuschel
12:15, 21 December 2015
187 × 728; 41 KB
MCInnerFIFO proj cardq.png
Michael Leuschel
10:01, 21 December 2015
230 × 730; 37 KB
CANBus sfdp.png
Michael Leuschel
09:17, 21 December 2015
1,442 × 1,178; 2.52 MB
RushHour sfdp.png
Michael Leuschel
09:15, 21 December 2015
1,713 × 1,280; 3.89 MB
MCInnerFIFO sfdp.png
Michael Leuschel
09:00, 21 December 2015
937 × 501; 756 KB
MCAlternatingBit projsrBit.png
Michael Leuschel
18:53, 18 December 2015
523 × 710; 57 KB
MCAlternatingBit sfdp.png
Michael Leuschel
17:45, 18 December 2015
1,258 × 724; 691 KB
ProB BridgesSolOmni.png
Michael Leuschel
14:59, 15 December 2015
521 × 438; 24 KB
ProB BridgesPuzzle.png
Michael Leuschel
14:58, 15 December 2015
474 × 478; 17 KB
ProB BridgesSol.png
Michael Leuschel
14:43, 15 December 2015
541 × 707; 49 KB
ProB ApplesOranges Table.png
Michael Leuschel
11:13, 24 November 2015
584 × 197; 21 KB
ProB ApplesOranges Sol.png
Sebastian Krings
08:47, 24 November 2015
854 × 698; 108 KB
PGEEvaluationTable.png
Ivaylo Dobrikov
09:27, 4 September 2015
556 × 483; 105 KB
StateSpaceBreadthFirst.png
Ivaylo Dobrikov
08:45, 4 September 2015
501 × 340; 50 KB
StateSpaceDepthFirst.png
Ivaylo Dobrikov
08:45, 4 September 2015
499 × 341; 49 KB
StateSpacePGE.png
Ivaylo Dobrikov
09:36, 3 September 2015
578 × 424; 62 KB
CoverageMenu.png
Michael Leuschel
06:42, 2 September 2015
283 × 336; 65 KB
MCDC Coverage ABZ.png
Michael Leuschel
06:38, 2 September 2015
1,635 × 172; 150 KB
RelationFigureExplanation.png
Ivaylo Dobrikov
08:40, 1 September 2015
247 × 145; 13 KB
KeepRelation.png
Ivaylo Dobrikov
08:39, 1 September 2015
242 × 166; 13 KB
ImpossibleRelation.png
Ivaylo Dobrikov
08:38, 1 September 2015
241 × 150; 13 KB
CE LTL assertion.png
Ivaylo Dobrikov
10:03, 30 August 2015
275 × 600; 24 KB
CSP Failures Debugger.png
Ivaylo Dobrikov
09:58, 30 August 2015
589 × 300; 32 KB
CSP Deadlock Trace.png
Ivaylo Dobrikov
09:55, 30 August 2015
297 × 403; 25 KB
CSP Trace Debugger.png
Ivaylo Dobrikov
09:52, 30 August 2015
600 × 403; 40 KB
CSPAssertionsViewer ctxmenu.png
Ivaylo Dobrikov
09:34, 30 August 2015
666 × 484; 133 KB
CSPAssertionsViewer.png
Ivaylo Dobrikov
09:16, 30 August 2015
630 × 484; 56 KB
CBC Test Tree States Example1.png
Michael Leuschel
05:52, 28 August 2015
425 × 698; 37 KB
CBC StateSpace Example1.png
Michael Leuschel
05:49, 28 August 2015
1,100 × 717; 73 KB
CBC Test Tree Example1.png
Michael Leuschel
05:42, 28 August 2015
660 × 151; 27 KB
ProB CSPAfterModelCheck2.png
Michael Leuschel
15:31, 10 August 2015
855 × 696; 92 KB
ProB CSPBusStatespace.png
Michael Leuschel
15:28, 10 August 2015
279 × 735; 31 KB
ProB CSPAfterModelCheck.png
Michael Leuschel
15:23, 10 August 2015
856 × 699; 96 KB
ProB CSPModelCheck.png
Michael Leuschel
15:23, 10 August 2015
252 × 391; 48 KB
ProB CSPAfterBoardSingleClick.png
Michael Leuschel
15:21, 10 August 2015
853 × 701; 98 KB
ProB CSPAfterTauSingleClick.png
Michael Leuschel
15:20, 10 August 2015
857 × 699; 92 KB
ProB CSPAfterInit.png
Michael Leuschel
15:17, 10 August 2015
856 × 696; 90 KB
ProB BusesAfterLoad.png
Michael Leuschel
15:16, 10 August 2015
856 × 698; 81 KB
ProB NinePrisoners Fancy.png
Michael Leuschel
11:44, 22 June 2015
1,081 × 764; 126 KB
ProB NinePrisoners Simple.png
Michael Leuschel
11:44, 22 June 2015
976 × 800; 228 KB
SimpleLift.zip
Lukas Ladenberger
21:24, 3 May 2015
; 59 KB
ProB Phonebook7 spdot mixed2.png
Michael Leuschel
10:27, 17 April 2015
2,544 × 707; 166 KB
ProB Phonebook7 spdot mixed1.png
Michael Leuschel
10:27, 17 April 2015
2,051 × 1,347; 195 KB
ProB Phonebook7 spdot random2.png
Michael Leuschel
10:26, 17 April 2015
1,943 × 920; 174 KB
ProB Phonebook7 spdot random1.png
Michael Leuschel
10:26, 17 April 2015
1,853 × 1,347; 207 KB
ProB Phonebook7 spdot hash.png
Michael Leuschel
10:26, 17 April 2015
2,708 × 920; 190 KB
ProB Phonebook7 spdot dlk.png
Michael Leuschel
10:26, 17 April 2015
1,504 × 1,560; 192 KB
ProB Phonebook7 spdot df.png
Michael Leuschel
10:24, 17 April 2015
419 × 2,200; 154 KB
ProB Phonebook7 spdot bf.png
Michael Leuschel
10:22, 17 April 2015
4,580 × 493; 194 KB
ProB BlockGoal Screenshot.png
Michael Leuschel
12:07, 16 April 2015
954 × 700; 133 KB
ProB MC Heuristic.png
Michael Leuschel
12:07, 16 April 2015
269 × 235; 34 KB
ProB BlockInit Screenshot.png
Michael Leuschel
08:20, 16 April 2015
951 × 696; 133 KB
ProB Cheryl Screenshot.png
Michael Leuschel
07:47, 16 April 2015
853 × 694; 106 KB
Dependency table.png
Ivaylo Dobrikov
17:07, 16 March 2015
510 × 235; 13 KB
Independence.png
Ivaylo Dobrikov
17:05, 16 March 2015
315 × 291; 9 KB
Partial state space por.png
Ivaylo Dobrikov
17:04, 16 March 2015
710 × 420; 26 KB
Full state space por.png
Ivaylo Dobrikov
17:01, 16 March 2015
710 × 460; 25 KB
RodinInstallNewSoftware.png
Michael Leuschel
14:14, 19 February 2015
342 × 294; 44 KB
ProBRodinUpdateDialog.png
Michael Leuschel
14:10, 19 February 2015
868 × 294; 61 KB
LandingGear.zip
Lukas Ladenberger
22:12, 14 February 2015
; 527 KB
CBCMBTTreeResult.png
Michael Leuschel
16:55, 11 February 2015
735 × 399; 43 KB
CBCMBTResult.png
Michael Leuschel
16:55, 11 February 2015
602 × 397; 34 KB
CBCMBTDialog.png
Michael Leuschel
16:55, 11 February 2015
277 × 448; 36 KB
CBCMBTMenu.png
Michael Leuschel
16:55, 11 February 2015
537 × 213; 48 KB
FindSequenceResult.png
Michael Leuschel
16:49, 11 February 2015
282 × 106; 10 KB
FindSequenceDialog.png
Michael Leuschel
16:48, 11 February 2015
586 × 142; 18 KB
FindSequenceMenu.png
Michael Leuschel
16:48, 11 February 2015
595 × 234; 72 KB
ProB Lift Randomise.png
Michael Leuschel
16:40, 11 February 2015
855 × 699; 98 KB
Landing gear.png
Lukas Ladenberger
12:15, 30 January 2015
1,333 × 699; 161 KB
BMC Counter Wrong.png
Michael Leuschel
16:32, 15 January 2015
858 × 268; 28 KB
Install prob2.png
Jens Bendisposto
16:01, 12 January 2015
873 × 725; 118 KB
Bmotion logo.png
Lukas Ladenberger
11:33, 19 November 2014
300 × 300; 39 KB
NumberOfStates.jpeg
Dominik Hansen
10:06, 10 November 2014
3,062 × 493; 143 KB
NumberOfStates.pdf
Dominik Hansen
09:54, 10 November 2014
; 17 KB
LTLViewVisualisation6.png
Ivaylo Dobrikov
09:06, 7 November 2014
447 × 290; 17 KB
LTLViewVisualisation5.png
Ivaylo Dobrikov
09:06, 7 November 2014
448 × 132; 16 KB
LTLViewCEForGF1.png
Ivaylo Dobrikov
09:04, 7 November 2014
779 × 267; 37 KB
LTLViewMUTEXEvents.png
Ivaylo Dobrikov
09:01, 7 November 2014
600 × 300; 25 KB
LTLViewVisualisation4.png
Ivaylo Dobrikov
17:25, 6 November 2014
451 × 548; 37 KB
LTLViewVisualisation3.png
Ivaylo Dobrikov
17:24, 6 November 2014
352 × 129; 14 KB
LTLViewFinitePathUntil.png
Ivaylo Dobrikov
17:21, 6 November 2014
448 × 159; 20 KB
LTLViewVisualisation2.png
Ivaylo Dobrikov
17:18, 6 November 2014
248 × 225; 13 KB
LTLViewFinitePathUnknown.png
Ivaylo Dobrikov
17:14, 6 November 2014
315 × 145; 16 KB
LTLViewVisualisation1.png
Ivaylo Dobrikov
17:11, 6 November 2014
249 × 125; 9 KB
LTLViewFinitePath.png
Ivaylo Dobrikov
17:04, 6 November 2014
470 × 126; 16 KB
LTLViewInfinitePath.png
Ivaylo Dobrikov
17:02, 6 November 2014
420 × 164; 15 KB
Deadlock path.png
Ivaylo Dobrikov
16:56, 6 November 2014
430 × 113; 17 KB
AllOpsCoveredDialog.png
Michael Leuschel
15:51, 28 October 2014
395 × 134; 16 KB
StopWhenAllOpsCovered.png
Michael Leuschel
15:50, 28 October 2014
263 × 183; 22 KB
Landing system.pdf
Dominik Hansen
12:19, 28 October 2014
; 1.12 MB
ProB RushHour XTL Screenshot.png
Michael Leuschel
08:23, 23 July 2014
856 × 660; 190 KB
ProB RushHour v2 TLC Dialog.png
Michael Leuschel
14:46, 22 July 2014
239 × 386; 39 KB
ProB RushHour v2 Screenshot.png
Michael Leuschel
14:46, 22 July 2014
854 × 662; 171 KB
ProB TclTk CountVarMenu.png
Michael Leuschel
09:06, 13 July 2014
517 × 187; 63 KB
ProZ jars.png
Michael Leuschel
05:49, 27 June 2014
858 × 666; 129 KB
Theories2.zip
Daniel Plagge
13:18, 2 June 2014
; 103 KB
Lift.zip
Lukas Ladenberger
13:43, 23 May 2014
; 10 KB
MLiftOpenHTMLVisualization.png
Lukas Ladenberger
07:04, 23 May 2014
289 × 131; 8 KB
Ltlviewercontext.png
Ivaylo Dobrikov
15:50, 10 April 2014
658 × 463; 76 KB
Ltlviewer.png
Ivaylo Dobrikov
15:32, 10 April 2014
660 × 484; 52 KB
ABZ14 Paper.pdf
Dominik Hansen
10:34, 12 March 2014
; 356 KB
Disprover proof.png
Michael Leuschel
08:16, 12 March 2014
305 × 65; 13 KB
Disprover proof control.png
Michael Leuschel
08:14, 12 March 2014
409 × 128; 34 KB
ProB Queens 40 Screenshot.png
Michael Leuschel
15:46, 20 February 2014
1,891 × 1,469; 73 KB
Langing gear.png
Jens Bendisposto
12:42, 14 February 2014
1,345 × 884; 190 KB
ProB PeaceableQueens 8 9 Opt Screenshot.png
Michael Leuschel
07:08, 25 January 2014
856 × 699; 133 KB
ProB PeaceableQueens 8 9 Screenshot.png
Michael Leuschel
07:08, 25 January 2014
855 × 667; 127 KB
ProB Lift ExecuteOperation Dialog Pred.png
Michael Leuschel
15:06, 15 December 2013
575 × 201; 26 KB
ProB Lift ExecuteOperationMenu.png
Michael Leuschel
15:03, 15 December 2013
321 × 301; 48 KB
ProB Lift OpPane WithJump Exec98.png
Michael Leuschel
15:01, 15 December 2013
857 × 268; 32 KB
ProB Lift ExecuteOperation Dialog.png
Michael Leuschel
15:01, 15 December 2013
574 × 202; 24 KB
ProB ExecuteOperation.png
Michael Leuschel
15:00, 15 December 2013
401 × 264; 21 KB
ProB Lift OpPane WithJump101.png
Michael Leuschel
14:55, 15 December 2013
292 × 266; 16 KB
ProB Lift MAX OPERATIONS.png
Michael Leuschel
14:55, 15 December 2013
615 × 309; 68 KB
ProB LiftWithJump.png
Michael Leuschel
14:55, 15 December 2013
857 × 699; 80 KB
Disprover-all.png
Sebastian Krings
08:22, 9 December 2013
16 × 16; 759 bytes
Model Checking With TLC Trace.png
Dominik Hansen
15:07, 4 December 2013
877 × 724; 125 KB
Model Checking With TLC.png
Dominik Hansen
14:42, 4 December 2013
875 × 724; 144 KB
Download TLA Tools.png
Dominik Hansen
14:15, 4 December 2013
1,010 × 727; 326 KB
MLiftEventsView.png
Michael Leuschel
08:52, 11 November 2013
233 × 341; 27 KB
MLiftNavigateHTMLVisualization2.png
Michael Leuschel
08:52, 11 November 2013
381 × 223; 12 KB
MLiftNavigateHTMLVisualization.png
Michael Leuschel
08:51, 11 November 2013
426 × 181; 16 KB
MLiftHTMLVisualization.png
Michael Leuschel
08:49, 11 November 2013
464 × 953; 41 KB
MLiftAnimateWithProB.png
Michael Leuschel
08:48, 11 November 2013
356 × 264; 36 KB
GroovyConsoleUpgradeLatest.png
Michael Leuschel
08:40, 11 November 2013
449 × 283; 28 KB
ProB-TLC RushHour Screenshot.png
Michael Leuschel
10:18, 11 September 2013
857 × 685; 178 KB
ProB GameOfLife Screenshot.png
Michael Leuschel
07:20, 5 September 2013
857 × 716; 139 KB
ProB RushHour Screenshot.png
Michael Leuschel
11:45, 30 July 2013
859 × 702; 163 KB
Scheduler tutorial2013.zip
Jens Bendisposto
09:41, 13 June 2013
; 8 KB
ProB Card Screenshot.png
Michael Leuschel
16:36, 22 May 2013
859 × 698; 176 KB
ProBRodinStartUnitAnalysis.png
Sebastian Krings
09:48, 31 January 2013
481 × 453; 47 KB
ProBRodinUnitPragmas.png
Sebastian Krings
09:45, 31 January 2013
786 × 144; 15 KB
ProBWindowsFolder.png
Michael Leuschel
14:08, 11 October 2012
323 × 178; 12 KB
TkWindowsDownload.png
Michael Leuschel
14:05, 11 October 2012
819 × 297; 38 KB
Jira.png
Jens Bendisposto
11:04, 26 April 2012
459 × 250; 10 KB
Extending prob.pdf
Jens Bendisposto
10:24, 28 February 2012
; 277 KB
StackConstructiveProBEvalConsoleFull2.png
Michael Leuschel
16:45, 27 February 2012
603 × 326; 20 KB
StackConstructiveProBEvalConsoleFull.png
Michael Leuschel
16:36, 27 February 2012
599 × 327; 25 KB
StackConstructiveProBEvalConsoleEmpty.png
Michael Leuschel
16:30, 27 February 2012
605 × 127; 12 KB
StackConstructiveProBEvalCommand.png
Michael Leuschel
16:29, 27 February 2012
859 × 263; 41 KB
ProB While INV Violation.png
Bivab
16:08, 27 February 2012
400 × 350; 33 KB
GraphicalViewerSiemensSaoPauloL9.png
Bivab
15:47, 27 February 2012
4,796 × 2,005; 830 KB
Temporal Model Checker settings.png
Michael Leuschel
15:44, 27 February 2012
254 × 263; 28 KB
ClicknProveDoubleCounter.png
Bivab
15:35, 27 February 2012
509 × 321; 12 KB
ProB WhileAfterLoad.png
Bivab
15:02, 27 February 2012
862 × 676; 77 KB
ProBRodinAfterOpChoose.png
Bivab
14:59, 27 February 2012
862 × 515; 79 KB
ProBRodinOpChoose.png
Bivab
14:59, 27 February 2012
861 × 513; 87 KB
ProBRodinInit.png
Bivab
14:58, 27 February 2012
860 × 514; 75 KB
ProBRodinStart.png
Bivab
14:57, 27 February 2012
1,036 × 545; 144 KB
ProBRodinPrefs.png
Bivab
14:56, 27 February 2012
1,097 × 682; 147 KB
RodinPrefs.png
Bivab
14:55, 27 February 2012
216 × 211; 33 KB
ProBSimpleCountDefSet BeforeInit.png
Bivab
14:53, 27 February 2012
800 × 152; 19 KB
ProBModelCheckNoCounterExampleFound Unbounded.png
Bivab
14:52, 27 February 2012
467 × 140; 13 KB
ProBSimpleCounterForMC InvViol.png
Bivab
14:51, 27 February 2012
800 × 182; 22 KB
ProBSimpleCounterForMC Max.png
Bivab
14:50, 27 February 2012
799 × 216; 27 KB
ProBSimpleCountDefSet InvViol.png
Bivab
14:47, 27 February 2012
799 × 238; 33 KB
ProBRodinClassicPreference.png
Michael Leuschel
07:33, 25 February 2012
736 × 259; 42 KB
ProBRodinLoadedInTclTk.png
Michael Leuschel
07:27, 25 February 2012
856 × 700; 72 KB
ProBRodinExport.png
Michael Leuschel
07:15, 25 February 2012
587 × 88; 26 KB
StackConstructiveProB.png
Michael Leuschel
07:18, 24 December 2011
857 × 697; 145 KB
SetupTaskRepository.png
Lukas Ladenberger
08:13, 17 October 2011
553 × 425; 40 KB
Eval view8.png
Jens Bendisposto
11:33, 7 October 2011
569 × 470; 37 KB
Eval view7.png
Jens Bendisposto
11:32, 7 October 2011
567 × 472; 41 KB
Eval view6.png
Jens Bendisposto
11:13, 7 October 2011
589 × 315; 42 KB
Eval view5.png
Jens Bendisposto
10:02, 7 October 2011
607 × 403; 46 KB
Eval view4.png
Jens Bendisposto
09:36, 7 October 2011
662 × 492; 56 KB
Eval view3.png
Jens Bendisposto
15:03, 6 October 2011
609 × 377; 49 KB
Eval view2.png
Jens Bendisposto
14:31, 6 October 2011
715 × 507; 34 KB
Eval view.png
Jens Bendisposto
14:24, 6 October 2011
856 × 700; 152 KB
ProB WhileAfterErrClick.png
Michael Leuschel
15:30, 25 July 2011
865 × 680; 94 KB
ProB Logo.jpg
Jens Bendisposto
12:31, 17 March 2011
2,549 × 796; 215 KB
ProBModelCheckNoCounterExampleFound.png
Michael Leuschel
16:03, 1 March 2011
470 × 141; 10 KB
DoubleCounterStatespace.png
Michael Leuschel
16:03, 1 March 2011
451 × 714; 43 KB
DoubleCounterStatespace2.png
Michael Leuschel
16:02, 1 March 2011
484 × 708; 50 KB
DoubleCounterCBCCommand.png
Michael Leuschel
12:49, 1 March 2011
657 × 336; 81 KB
CBCDoubleCounter2.png
Michael Leuschel
12:39, 1 March 2011
798 × 105; 17 KB
CBCDoubleCounter1.png
Michael Leuschel
12:36, 1 March 2011
802 × 116; 17 KB
ProBModelCheckNoCounterExampleFoundTrans.png
Michael Leuschel
08:52, 1 March 2011
470 × 150; 16 KB
Ltl1.png
Daniel Plagge
12:46, 19 January 2011
773 × 437; 28 KB
GraphicalViewerSiemensSaoPauloL9.pdf
Michael Leuschel
12:56, 25 October 2010
; 30 KB
ProB complete.psf
Jens Bendisposto
14:10, 9 July 2010
; 17 KB
ProblemsViewFilter.png
Jens Bendisposto
12:51, 9 July 2010
1,079 × 573; 140 KB
Menu standalone.png
Jens Bendisposto
16:45, 14 April 2010
269 × 98; 24 KB
Menu plugin.png
Jens Bendisposto
16:44, 14 April 2010
365 × 104; 37 KB
ProB PropagationAfterLoad4.png
Michael Leuschel
15:15, 19 January 2010
803 × 705; 72 KB
ProB PropagationAfterLoadMsg3.png
Michael Leuschel
14:51, 19 January 2010
475 × 153; 21 KB
ProB PropagationAfterLoadDebug3.png
Michael Leuschel
14:51, 19 January 2010
850 × 685; 111 KB
ProB PropagationAfterLoad3.png
Michael Leuschel
14:51, 19 January 2010
805 × 310; 19 KB
ProB PropagationAfterLoad2.png
Michael Leuschel
14:44, 19 January 2010
802 × 306; 38 KB
ProB PropagationAfterLoad.png
Michael Leuschel
14:30, 19 January 2010
803 × 307; 25 KB
ProB PropagationAfterInit.png
Michael Leuschel
14:30, 19 January 2010
805 × 305; 40 KB
ProB Propagation.png
Michael Leuschel
13:54, 19 January 2010
695 × 209; 49 KB
ProB Propagation.pdf
Michael Leuschel
13:53, 19 January 2010
; 24 KB
ProB GoldbachAfterInit.png
Michael Leuschel
10:19, 19 January 2010
802 × 702; 94 KB
ProB-win-1.3.1final5.zip
Daniel Plagge
09:34, 19 January 2010
; 5.07 MB
ProB-mactiger-1.3.1final3.tar.gz
Daniel Plagge
09:19, 19 January 2010
; 8.68 MB
ProB-macsnow-1.3.1final5.tar.gz
Daniel Plagge
09:16, 19 January 2010
; 5.64 MB
ProB-linux-1.3.1final5.tar.gz
Daniel Plagge
08:58, 19 January 2010
; 5.6 MB
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