Model-Checking

Exact Quantitative Probabilistic Model Checking Through Rational Search

November 9, 2017

Computing Information Flow Using Symbolic Model-Checking

December 12, 2014