
With the growing ubiquity of computing systems, it is essential that we can rely on the services they deliver. Justifying reliance in computer systems requires scientific techniques to derive evidence from given systems or predict such evidence. This t
