CTL-model-checker is a project mainly written in Haskell, it's free.

Computational Tree Logic Model checker from the University years