Petr Ročkai is an author at Masaryk University specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationParallel ProgrammingParallel ComputingComputer EngineeringComputer ArchitectureSoftware Analysis
Publications per year
2008–2018
8
8
DiVinE: Parallel Distributed Model Checker
Luboš Brim, Milan Češka, Petr Ročkai · 2010 · 63 citations
Parallel Partial Order Reduction with Topological Sort Proviso
Luboš Brim, Petr Ročkai · 2010 · 34 citations
DiVinE: Parallel Distributed Model Checker (Tool paper)
Jǐŕı Barnat, Luboš Brim, Milan Češka et al. · 2010 · 34 citations
DiVinE 2.0: High-Performance Model Checking
Luboš Brim, Petr Ročkai · 2009 · 22 citations
Rows per page
1–5 of 8