Links

DIVINE – Parallel LTL model checker

PDMC.CZ – PDMC Workshop Series

BEEM – BEnchmarks for Explicit Model checkers

Yahoda – The Database of Verification Tools