Solving Queries for Boolean Fault Tree Logic via Quantified SAT

Caz Saaltink, Stefano M. Nicoletti^*, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga

^*Corresponding author for this work

Formal Methods and Tools

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

31 Downloads (Pure)

1 Citations
1 PhD Thesis - Research UT, graduation UT

1 results

2024
If a Tree Falls in the Forest: Risk Logics for Safety-Security Analysis
Nicoletti, S. M., Nov 2024, Enschede: University of Twente. 312 p.
Research output: Thesis › PhD Thesis - Research UT, graduation UT

Open Access
File
41 Downloads (Pure)