News

Version 1.3.3 released [2011-08-16]

Version 1.3.3 brings several bugfixes and minor improvements.

Version 1.3.2 released [2011-03-22]

Version 1.3.2 brings bugfixes and performance improvements for modes and mcpta and several new features in modes.

Version 1.3.1 released [2010-11-29]

Version 1.3.1 is mainly a bugfix release, but also brings performance improvements for simulation and new syntactical shorthands in the Modest language.

Version 1.3 released [2010-10-19]

Version 1.3 of the Modest Toolset features greatly improved simulation performance and a new partial order algorithm in modes, significant usability improvements in mime as well as bugfixes and new options in mcpta.

Modest Toolset released [2010-07-01]

This release marks the public availability of the mime and modes tools as well as the release of version 1.2 of mcpta.

mcpta version 1.1 released [2010-02-15]

Version 1.1 of mcpta is now available for download. It adds support for arrays, significantly improves the optimisations resulting in smaller state-spaces, and is easier to use with a fully automatic mode.

mcpta available for download [2009-09-11]

mcpta, the Modest Checker for Probabilistic Timed Automata, is now available for download.

mcpta Paper Accepted [2009-05-25]

Our paper describing mcpta, the Modest Checker for Probabilistic Timed Automata, has been accepted for QEST '09.