DIVINE – Parallel LTL model checker
PDMC.CZ – PDMC Workshop Series
BEEM – BEnchmarks for Explicit Model checkers
Yahoda – The Database of Verification Tools