Active Projects

DIVINE – Parallel Model Checker for C and C++

RoFI – Distributed Metamorphic Robots

Retired Projects

PDMC.CZ – PDMC Workshop Series

BEEM – BEnchmarks for Explicit Model checkers

Yahoda – The Database of Verification Tools

© ParaDiSe Laboratory, 1998–2024