RNDr. Petr Ročkai, Ph.D.
Assistant professor, Department of Computer Systems and Communications
correspondence Address:
Botanická 554/68a, 602 00 Brno
e‑mail: | xrockai@fi.muni.cz |
---|
social and academic networks: |
---|
Total number of publications: 45
2008
-
DiVinE Multi-Core -- A Parallel LTL Model-Checker
Automated Technology for Verification and Analysis, year: 2008
-
Shared Hash Tables in Parallel Model Checking
Electronic Notes in Theoretical Computer Science, year: 2008, volume: 2008, edition: 198(1)
2007
-
DiVinE Multi-Core
Year: 2007
-
Scalable Multi-core LTL Model-Checking
Model Checking Software, year: 2007
2006
-
DiVinE -- A Tool for Distributed Verification
Computer Aided Verification, year: 2006