QUAIL
Quantitative Analyzer for Imperative Languages
QUAIL paper accepted at CAV 2013
September 17, 2014
After months of work, we are releasing version 2 of QUAIL, with improved algorithms and statistical simulation. The new version is up to thousands time faster than the previous one.
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.
Strictly Necessary Cookie should be enabled at all times so that we can save your preferences for cookie settings.
