• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Overview of publishing activities" page will be displayed with information relevant to the selected constituent part. The "Overview of publishing activities" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

Publication details

MWC-DiVinE

Basic information
Original title:	MWC-DiVinE
Authors:	Jiří Barnat, Luboš Brim, Petr Bauch, Milan Češka

Further information
Citation:	BARNAT, Jiří - BRIM, Luboš - BAUCH, Petr - ČEŠKA, Milan. MWC-DiVinE. 2010.
Original language:	English
Field:	Informatika
WWW:	http://anna.fi.muni.cz/AS/mwcdivine-1.0.tar.gz
Type:	Software
Keywords:	performance analysis; compositinal modelling; minimal cycle mean

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