TobyHML is a tool to check an LTS against HML formulas.