appearance

MU › Research and development › Overview of publishing activities › Publication details

Skip navigation

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

Masaryk University

Publication details

<< back

DiVinE Cluster

Basic information
Original title:	DiVinE Cluster
Authors:	Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, Pavel Šimeček

Further information
Citation:	BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - ŠIMEČEK, Pavel. DiVinE Cluster. 2008.
Original language:	English
Field:	Informatika
WWW:	http://divine.fi.muni.cz
Type:	Software
Keywords:	cluster-based parallel verification; model-checking;

New generation of DiVinE -- parallel LTL model checker. The major extensions include * Limited support for ProMeLa modelling language. * Improved scalability (up to hundreds of cores). * Improved model interpretation and pre-compilation subroutines.

Related projects:

top