MWC-DiVinE

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
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.