FM&SE Lab - Formal Methods and Software Engineering Laboratory
Asmeta - A set of tools for Abstract State Machines
nusmv-tools - Tools for the model checker NuSMV
NuSeen - An eclipse-based environment for the NuSMV model checker
epop - Extensible Publish or Perish