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
(
newest
|
oldest
) View (
newer 250
|
older 250
) (
20
|
50
|
100
|
250
|
500
)