There is a newer version of the record available.

Published July 21, 2023 | Version v1
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 Saaltink, C., Nicoletti, S.M., 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 (141.5 kB)

Name Size Download all
md5:1028de0e8131ae3477e08ffae047e049
141.5 kB Preview Download

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