• 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

ProbDiVinE-MC

Basic information
Original title:	ProbDiVinE-MC
Authors:	Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, Jana Tůmová

Further information
Citation:	BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana. ProbDiVinE-MC. 2008.
Original language:	English
Field:	Informatika
WWW:	http://divine.fi.muni.cz
Type:	Software
Keywords:	quantitative parallel verification; multi-core architecture; model-checking

Software tool for quantitative verification of probabilistic systems applicable on shared-memory parallel HW platforms. Models are specifed using modelling language ProbDVE, properties are given as formulas of linear temporal logic. The tool employs freely available modules, namely lpsolve tool and HOARD library.

Related projects:

• Techniques for automatic verification and validation of software nad hardware systems
• Highly Parallel and Distributed Computing Systems
• Automated software verification