DiVinE – Parallel LTL model checker
PDMC.CZ – Czech Portal for Parallel Verification
BEEM – BEnchmarks for Explicit Model checkers
Yahoda – The Database of Verification Tools