Publication details
MWC-DiVinE
Authors | |
---|---|
Year of publication | 2010 |
MU Faculty or unit | |
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: |