SMT-based Validation of Timed Failure Propagation Graphs
This archive (23MB) contains
- The set of random benchmarks used for running the experimental evaluation
- The scripts used to run and plot the experimental evaluation
- A static binary containing the tool for TFPG reasoning (tfpg)
- A README file containing additional information
Note: The executable is statically compiled for
64bit Linux. The tool is provided for demonstration purposes and
requires Z3.