MWC-DiVinE

• 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