Detecability Evaluation (§6.1)

We evaluate the detectability of our framework using thread crashes tests and persistency bug-finding tools. Please refer to each test's documentation to reproduce our results.