MWC-DiVinE

• 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

• Vysoce paralelní a distribuované výpočetní systémy
• Verifikace a analýza velmi velkých počítačových systémů