Model checker for Hybrid Logic now available here:

http://modelchecker.dk/hybrid/