Downloadliste

Projektbeschreibung

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol

Systemanforderungen

Betriebssystem: Linux, VMware

Download-Paketliste

Latest 5 files
Name Größe Datum Anzahl der Downloads
redlib.a.130816.tar.gz 2.3 MB 2013-08-16 18:02 18
pathg.1.130730.tar.gz 2.3 MB 2013-07-30 07:40 8
red.8.130730.tar.gz 642.5 KB 2013-07-30 07:36 5
redlib.a.130730.tar.gz 2.3 MB 2013-07-30 07:35 8
redlib.a.130725.tar.gz 2.3 MB 2013-07-25 02:56 8
All Files
REDLIB_including_executable_header_files_and_manual
version 3
redlib.a.130816.tar.gz2.3 MB2013-08-16 18:0218
redlib.a.130730.tar.gz2.3 MB2013-07-30 07:358
redlib.a.130725.tar.gz2.3 MB2013-07-25 02:568
redlib.a.130717.tar.gz2.3 MB2013-07-18 21:343
redlib.a.130617.tar.gz2.3 MB2013-06-17 10:323
redlib.a.130523.tar.gz2.3 MB2013-05-23 18:482
redlib.a.120714.tar.gz2.3 MB2012-07-15 18:351
redlib.a.120710.tar.gz2.3 MB2012-07-11 02:341
redlib.a.120121a.tar.gz2.3 MB2012-01-21 11:381
redlib.a.120121.tar.gz2.3 MB2012-01-21 01:060
redlib.a.120120.tar.gz2.3 MB2012-01-20 23:082
redlib.a.120118.tar.gz2.3 MB2012-01-19 03:592
redlib.a.120117.tar.gz2.3 MB2012-01-18 00:212
redlib.a.120112.tar.gz2.3 MB2012-01-12 12:250
redlib.a.120108.tar.gz2.3 MB2012-01-09 01:082
redlib.a.120107.tar.gz2.3 MB2012-01-07 13:033
redlib.a.120104a.tar.gz5.4 MB2012-01-05 02:015
redlib.a.120104.tar.gz5.4 MB2012-01-04 22:152
redlib.a.120103.tar.gz5.4 MB2012-01-04 05:520
redlib.a.120102.tar.gz817.6 KB2012-01-03 00:052
redlib.a.111028.3.tar.gz815.2 KB2011-10-28 23:354
redlib.a.64bit.111028.tar.gz933.4 KB2011-10-28 15:502
redlib.a.64bit.111026.tar.gz933.3 KB2011-10-27 01:233
redlib.a.111026.tar.gz814.9 KB2011-10-26 17:462
redlib.a.111024.tar.gz826.3 KB2011-10-24 18:031
redlib.a.111021.tar.gz826.6 KB2011-10-21 20:592
README.redlib.a.txt15.2 KB2011-04-18 01:122
REDLIB applications
pathg, a flexible symbolic simulator of timed automata
pathg.1.130730.tar.gz2.3 MB2013-07-30 07:408
README.pathg.txt16.1 KB2013-06-17 10:462
pathg.1.130617.tar.gz2.3 MB2013-06-17 10:353
pathg.1.120714.tar.gz2.3 MB2012-07-15 18:480
pathg.1.110901.tar.gz2.3 MB2011-09-01 11:560
pathg.1.110606.tar.gz1.5 MB2011-06-07 01:141
pathg.1.110530.tar.gz1.5 MB2011-05-30 01:130
pathg.1.110524.tar.gz1.5 MB2011-05-24 22:290
pathg.1.110520.tar.gz653.1 KB2011-05-20 10:103
sudoku solver, built on top of REDLIB
version 101027
sdk.111021.tar.gz639.0 KB2011-10-21 21:533
version 0_091031
sdk.091031.tar.gz506.6 KB2009-11-01 01:364
ompca, interactive model-checker for C with OpemMP
README.ompca.txt2.1 KB2011-06-01 14:583
ompca_0601.rar14.7 MB2011-06-01 14:475
Examples of C plug-ins
redcplugins.c1.2 KB2010-10-18 10:551
treeex, a reachability graph constructor for timed automata
treeex 09_03_25
treeex-090326.tar.gz7.6 KB2009-03-26 00:085
RED,TCTL model-checker, simulation-checker, parametric safety-analyzer
text mode
red.8.130730.tar.gz642.5 KB2013-07-30 07:365
version 8
red.8.130718.tar.gz642.6 KB2013-07-18 21:350
red.8.130617.tar.gz641.3 KB2013-06-17 10:330
red.8.130523.tar.gz922.5 KB2013-05-23 18:500
red.8.120714.tar.gz627.1 KB2012-07-15 18:390
red.8.120710.tar.gz630.4 KB2012-07-11 02:370
red.8.120102.tar.gz627.0 KB2012-01-03 00:340
red.8.110606.tar.gz632.6 KB2011-06-07 01:162
red.8.110530.tar.gz632.8 KB2011-05-30 01:152
red.8.110529.tar.gz632.5 KB2011-05-29 10:021
README.red.7.txt7.5 KB2011-04-18 01:111
GRED, RED with GUI
gred.120714.tar.gz10.1 MB2012-07-15 18:461
gred.120102.tar.gz10.1 MB2012-01-03 01:291
gred.110531.tar.gz14.4 MB2011-05-31 23:313
README.gred.txt2.1 KB2011-05-24 13:472
Experiment packages in publications
global transitions with broadcasting events
broadcasting.exp.download.120714.tar.gz699.0 KB2012-07-15 09:543
fair simulation
fsim.exp.download.120714.tar.gz5.2 MB2012-07-15 09:532
Documents
REDLIB_manual.120107.pdf501.2 KB2012-01-07 13:1328
academic_license.pdf143.4 KB2012-01-03 00:5412
REDLIB-Tutorial-16-Dec-2011.pdf1.1 MB2012-01-03 00:4932
Technical Reports
Technical Report of Time-Convex Analysis (ATVA 2008)
tconvex-simple.pdf198.3 KB2008-06-03 00:4416
RED modeling language syntax
version 8
README.red.syntax.110305.txt0.8 KB2011-03-05 13:385
redlex.l84.3 KB2011-03-05 12:511
red.syntax.110304.TXT12.1 KB2011-03-05 12:252
Benchmarks
Linear Hybrid Automata Benchmarks
LHA nuke para risk analysis
bch.nuke.para-risk-analysis.101130.tar.gz1.1 KB2010-11-30 12:392
Benchmarks for RED 7_081101
bch.nuke.para-risk-analysis.081101.tar.gz1.1 KB2008-11-02 00:5220
LHA GRC para risk analysis
bch.grc.para-risk-analysis.101130.tar.gz2.2 KB2010-11-30 12:382
Benchmark for RED 7
bch.grc.para-risk-analysis.081008.tar.gz2.9 KB2008-10-08 12:5212
LHA Fischer para risk analysis
bch.fischer.para-risk-analysis.101130.tar.gz1.0 KB2010-11-30 12:374
Benchmark for RED 7
bch.fischer.para-risk-analysis.081008.tar.gz1.0 KB2008-10-08 12:522
LHA CSMA-CD para risk analysis
bch.csma-cd.para-risk-analysis.101130.tar.gz0.7 KB2010-11-30 12:363
Benchmarks for RED 7
bch.csma-cd.para-risk-analysis.081008.tar.gz1.2 KB2008-10-08 12:528
TECTLF.model.check.benchmarks.100504.tar.gz536.0 KB2010-05-04 23:446
CTBA.fair.simulation.benchmarks.100504.tar.gz750.0 KB2010-05-04 23:394
tctctl.mcheck.100426.benchmarks.tar.gz528.8 KB2010-04-26 22:213
Timed Automata Benchmarks
TA Pathos real-time operating system
pathos.100222.tar.gz1.3 KB2010-02-23 10:104
TA Leader Election
leader.100222.tar.gz0.6 KB2010-02-23 10:062
TA csma-cd model-checking
Benchmark for RED 7
bch.csma-cd.model-checking.081008.tar.gz2.5 KB2008-10-08 12:5420
TA Fischer simulation-checking
Benchmark for RED 7
bch.fischer.simulation.081008.tar.gz2.0 KB2008-10-08 12:537
TA Fischer model-checking
Benchmark for RED 7
bch.fischer.model-checking.081008.tar.gz2.2 KB2008-10-08 12:5310
TA csma-cd simulation-checking
Benchmark for RED 7
bch.csma-cd.simulation.081008.tar.gz2.2 KB2008-10-08 12:5316
TA FDDI risk analysis
Benchmarks for RED 7
bch.fddi.risk.080502.tar.gz10.6 KB2008-05-02 18:235
OldFiles
RED graphical editor and user interface
guiRED 100503
guiRED.tar.gz5.1 MB2010-06-09 15:341
redlib.a.090508.1.tar.gz634.9 KB2009-05-07 16:262
red.7.090508.1.tar.gz489.9 KB2009-05-07 16:263
redlib.a.090508.tar.gz634.5 KB2009-05-07 10:472
red.7.090508.noMC.tar.gz489.6 KB2009-05-07 10:464
red.7.090503.tar.gz485.4 KB2009-05-03 23:432
redlib.a.090503.tar.gz630.5 KB2009-05-03 23:412
redlib.a.090501.2.tar.gz632.7 KB2009-05-01 23:233
redlib.a.090501.1.tar.gz632.7 KB2009-05-01 17:043
redlib.a.090501.tar.gz632.7 KB2009-05-01 16:502
redlib.a.090429.tar.gz629.6 KB2009-04-29 13:592
redlib.a.090409.tar.gz625.5 KB2009-04-09 12:342
redlib.a.090331.tar.gz629.8 KB2009-03-31 13:262
redlib.a.090327.2.tar.gz631.0 KB2009-03-27 16:292
redlib.a.090327.1.tar.gz631.0 KB2009-03-27 16:053
redlib.a.090327.tar.gz933.4 KB2009-03-27 15:351
treeex-090325.tar.gz7.6 KB2009-03-25 21:331
redlib.a.090324.1.tar.gz630.0 KB2009-03-24 17:432
redlib.a.090324.tar.gz630.6 KB2009-03-24 12:283
redlib.a.090323.1.tar.gz629.3 KB2009-03-23 22:363
redlib.a.090323.tar.gz617.2 KB2009-03-23 17:113
redlib.a.090319.tar.gz617.2 KB2009-03-19 18:422
redlib.a.090315.tar.gz618.6 KB2009-03-16 02:351
redlib.manual.090315.pdf.tar.gz460.5 KB2009-03-16 02:3038
redlib.manual.090312.pdf.gz456.1 KB2009-03-13 00:1936
pathg.0.090311.tar.gz475.9 KB2009-03-12 02:562
redlib.a.090311.tar.gz616.9 KB2009-03-12 02:542
red.7.090311.tar.gz476.7 KB2009-03-12 02:524
redlib.a.090310.1.tar.gz615.5 KB2009-03-10 17:161
redlib.a.090310.tar.gz615.3 KB2009-03-10 13:153
red.7.090309.tar.gz475.0 KB2009-03-10 00:253
redlib.a.090309.tar.gz615.3 KB2009-03-10 00:232
pathgame.0.090309.tar.gz478.0 KB2009-03-10 00:083
red.7.090308.tar.gz473.9 KB2009-03-08 15:402
redlib.a.090308.tar.gz613.9 KB2009-03-08 15:393
redlib.090207.1.pdf.gz439.9 KB2009-02-08 01:1026
redlib.pdf.gz442.3 KB2009-02-08 00:2515
redlib.a.090204.1.tar.gz607.7 KB2009-02-04 21:002
red.7.090204.tar.gz469.4 KB2009-02-04 20:514
redlib.a.090204.tar.gz607.7 KB2009-02-04 20:453
redlib.a.090203.tar.gz607.6 KB2009-02-03 14:163
pathg.0.090108.tar.gz462.6 KB2009-01-09 00:413
redlib.a.081226.tar.gz593.9 KB2008-12-27 05:063
red.7.081226.tar.gz458.3 KB2008-12-27 05:023
pathg.0.081226.tar.gz462.9 KB2008-12-27 05:002
red.7.081219.tar.gz456.4 KB2008-12-19 17:572
redlib.a.081219.tar.gz592.0 KB2008-12-19 17:572
pathex.0.081219.tar.gz453.3 KB2008-12-19 17:572
redlib.a.081213.tar.gz591.9 KB2008-12-14 04:213
red.7.081213.tar.gz456.1 KB2008-12-14 04:073
pathex.0.081213.tar.gz453.0 KB2008-12-14 04:062
redlib.a.081210.tar.gz591.9 KB2008-12-10 17:222
pathex.0.081117.tar.gz452.8 KB2008-11-18 01:262
red.7.081117.tar.gz456.9 KB2008-11-18 01:242
redlib.a.081117.tar.gz591.8 KB2008-11-18 01:193
red.7.081101.tar.gz451.3 KB2008-11-02 00:432
redlib.a.081101.tar.gz585.3 KB2008-11-02 00:333
redlib.a.081014.tar.gz582.6 KB2008-10-15 01:513
redlib.a.081012.tar.gz581.9 KB2008-10-13 01:336
red.7.081008.tar.gz444.9 KB2008-10-08 23:052
redlib.a.081008.tar.gz574.6 KB2008-10-08 23:031
bch.nuke.para-risk-analysis.081008.tar.gz1.1 KB2008-10-08 12:522
sudoku.081006.tar.gz672.6 KB2008-10-08 00:003
redlib.a.081005.tar.gz574.7 KB2008-10-07 23:171
redlib.1.081005.tar.gz871.2 KB2008-10-06 10:262
redlib.1.080615.tar.gz518.1 KB2008-06-15 09:404
redlib.1.080612.tar.gz519.4 KB2008-06-12 23:572
redlib.1.src.080612.tar.gz935.1 KB2008-06-12 23:423
red.7.080612.tar.gz402.5 KB2008-06-12 23:333
redlib.1.080602.tar.gz516.5 KB2008-06-03 00:353
red.7.080602.tar.gz619.8 KB2008-06-02 23:523
redlib.1.080507.tar.gz507.8 KB2008-05-08 04:232
red.7.080507.tar980.0 KB2008-05-08 04:211
red.7.080506.tar.gz393.5 KB2008-05-06 19:173
redlib.1.080506.tar.gz507.0 KB2008-05-06 18:592
bch.csma-cd.para-risk-analysis.080504.tar.gz1.1 KB2008-05-05 03:103
bch.nuke.para-risk-analysis.080504.tar.gz2.4 KB2008-05-05 02:593
bch.grc.para-risk-analysis.080504.tar.gz3.2 KB2008-05-05 02:382
bch.fischer.para-risk-analysis.080504.tar.gz1.0 KB2008-05-05 02:271
red.7.080504.tar.gz393.8 KB2008-05-05 02:002
redlib.1.080504.tar.gz507.7 KB2008-05-05 01:453
sudoku.080430.tar.gz397.7 KB2008-05-04 14:403
bch.fischer.simulation.080501.tar.gz1.9 KB2008-05-02 09:381
bch.fischer.model-checking.080501.tar.gz2.1 KB2008-05-02 00:322
bch.csma-cd.model-checking.080501.tar.gz2.2 KB2008-05-01 23:203
bch.csma-cd.simulation.080501.tar.gz2.2 KB2008-05-01 22:471
red.7.080430.tar.gz395.7 KB2008-05-01 22:134
redlib.1.080430.tar.gz510.0 KB2008-05-01 22:073