Published April 8, 2024
| Version v2
Software
Open
Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Creators
- 1. University of Twente
Description
Artifact accompanying the publication Nicoletti, S.M., Saaltink, C., Volk, M., Hahn, E.M., and Stoelinga,M., Solving Queries for Boolean Fault Tree Logic via Quantified SAT. The artifact contains an implementation, example files and the script run_experiments.sh to reproduce results in Sections 5 and 6 of the paper.
Files
bfl-qsat-implementation-with-experiments-main.zip
Files
(20.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:22d3f060dccb53c6ab1266e7e1057a72
|
20.6 MB | Preview Download |
Additional details
Funding
- CAESAR – Integrating Safety and Cybersecurity through Stochastic Model Checking 864075
- European Commission
- MISSION – Models in Space Systems: Integration, Operation, and Networking 101008233
- European Commission
- PrimaVera: Predictive maintenance for Very effective asset management 33696
- Dutch Research Council
Dates
- Submitted
-
2024-04-08