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)

Additional details

Funding

European Commission
CAESAR – Integrating Safety and Cybersecurity through Stochastic Model Checking 864075
European Commission
MISSION – Models in Space Systems: Integration, Operation, and Networking 101008233
Dutch Research Council
PrimaVera: Predictive maintenance for Very effective asset management 33696

Dates

Submitted
2024-04-08