quasy : quantitative synthesis tool .
PRISM: A tool for automatic verification of probabilistic systems