Published January 10, 2022
| Version 1
Dataset
Open
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
Authors/Creators
- 1. RWTH Aachen University
- 2. University of Twente
Description
Artifact for the paper "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
The package contains:
- example files for all static and dynamic fault tree models
- installation instructions for the three tools
- scripts to perform the benchmarking
- detailed result tables
Files
artifact.zip
Files
(1.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:85ee78ddb792337fe0bec54d0d586de2
|
1.6 MB | Preview Download |