• Asmeta toolset, a set of tools for Abstract State Machines.
  • ATGT, a tool for automatically generating test sequences from ASM specifications.
  • ATGT boolean, test generation for Boolean expressions through SAT/SMT solvers.
  • NuSeen, an eclipse-based environment for the NuSMV model checker.
  • epop, Extensible Publish or Perish.