Publication details

MWC-DiVinE

Investor logo
Authors

BARNAT Jiří BRIM Luboš BAUCH Petr ČEŠKA Milan

Year of publication 2010
MU Faculty or unit

Faculty of Informatics

Web http://anna.fi.muni.cz/AS/mwcdivine-1.0.tar.gz
Description MWC-DiVinE is a compositional modelling and performance analysis tools build on the explicit state model checking tool DiVinE. MWC-DiVinE extends the DVE language with the possibility to specify computational resource consumption of actions of the system and allows for performance analysis employing optimal cycle mean algorithms.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info