Computing the Leakage of Information-Hiding Systems Miguel E. Andrés Catuscia Palamidessi Radboud University, The Netherlands INRIA and LIX, France Peter.
Significant Diagnostic Counterexamples in Probabilistic Model Checking