appearance

MU › FI › Research and development › List of projects › Project details

Masaryk University - Faculty of Informatics

Page information

English

Česky

Skip navigation

About the faculty | Research and development | Applicants | Students | Alumni | Information sources | News | Partners

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
- Rector`s Office
- Rectorate
- Institutes
- Computer Science
- CEITEC MU
- Specialized Units
- Hostels & Canteens
- University Press
- UCB Management
- Other Units
- Archive
- Language Centre
- International Studies
- Disabled Students
- Technology Transfer Office
- Biostatistics
- Mendel Museum
- CERIT
- CEITEC Central Management
- Telč Centre

Faculty of Informatics

Project details

DiVinE – nástroj pro paralelní verifikaci

Project Identification:

MUNI/33/08/2012

Project Period:

4/2012 - 3/2013

Investor:

Masaryk University

Programme / Project Type:

FI Dean's Programme -

MU Faculty/Unit:

Faculty of Informatics
MU Investigator:	Bc. Jan Kriho
Project Team Member:	Bc. Jan Havlíček Bc. Pavel Mičan