The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification.

Arnd Hartmanns, Holger Hermanns

Browse the full TACAS paper archive.