MWC-DiVinE

Barnat,  Jiří; Brim,  Luboš; Bauch,  Petr; Češka,  Milan

MWC-DiVinE

Warning

This publication doesn't include Faculty of Economics and Administration. 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:	Highly Parallel and Distributed Computing Systems Verification and Analysis of Large-Scale Computer Systems