DIVINE – Parallel Model Checker for C and C++
RoFI – Distributed Metamorphic Robots
PDMC.CZ – PDMC Workshop Series
BEEM – BEnchmarks for Explicit Model checkers
Yahoda – The Database of Verification Tools