Project information
Automated formal verification using modern hardware

Information

This project doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official project website can be found on muni.cz.

Project Identification

GP201/09/P497

Project Period

1/2009 - 12/2011

Investor / Pogramme / Project type

Czech Science Foundation

Postdoctoral projects

MU Faculty or unit

Faculty of Informatics

prof. RNDr. Jiří Barnat, Ph.D.

Publications

Total number of publications: 25

2009

DiVinE 2.0: High-Performance Model Checking

BARNAT Jiří BRIM Luboš ROČKAI Petr

Article in Proceedings

International Workshop on High Performance Computational Systems Biology, year: 2009
DiVinE Cuda

BARNAT Jiří BRIM Luboš BAUCH Petr ČEŠKA Milan LAMR Tomáš

Year: 2009
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

BARNAT Jiří BRIM Luboš ČEŠKA Milan

Article in Periodical

Electronic Proceedings in Theoretical Computer Science, year: 2009, volume: 14, edition: Prosinec
Efficient Large-Scale Model Checking

VERSTOEP Kees BAL Henri E. BARNAT Jiří BRIM Luboš

Article in Proceedings

23rd IEEE International Parallel & Distributed Processing Symposium, year: 2009
Quantitative Model Checking of Systems with Degradation

BARNAT Jiří ČERNÁ Ivana TŮMOVÁ Jana

Article in Proceedings

2009 Sixth International Conference on the Quantitative Evaluation of Systems, year: 2009