Published July 21, 2023 | Version v1
Software Open

Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT

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

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