Informace o publikaci

MWC-DiVinE

Logo poskytovatele
Autoři

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

Rok publikování 2010
Druh Software
Fakulta / Pracoviště MU

Fakulta informatiky

www http://anna.fi.muni.cz/AS/mwcdivine-1.0.tar.gz
Popis MWC-DiVinE je nástroj pro kompoziční modelování a analýzu výkonu postavený na nástroji DiVinE pro explicitní model checking. MWC-DiVinE rozšiřuje jazyk DVE o možnost specifikovat spotřebu výpočetních zdrojů akcí systému a umožňuje analýzu výkonu s použitím algoritmů pro hledání optimální délky hrany v cyklech.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info