• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "List of projects" page will be displayed with information relevant to the selected constituent part. The "List of projects" 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

   

Project details

Automated Verification of Parallel and Distributed Systems

Project Identification:	GA201/03/0509
Project Period:	1/2003 - 12/2005
Investor:	Czech Science Foundation
Programme / Project Type:	Standard Projects -
MU Faculty/Unit:	Faculty of Informatics MU Investigator: Prof. RNDr. Luboš Brim, CSc.
Field:	JC - Computer hardware and software (J - Industry) BA - General mathematics (B - Physics and mathematics)
Publications/Results:	more
Keywords:	verification, model-checking, equivalence-checking, concurrent systems

The proposed project aims at development and analyzis of new original methods for effective verification of cocnurrent systems.