- 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.
- MutRex, a generator of fault detecting tests for regular expressions.
- NuSeen, an eclipse-based environment for the NuSMV model checker.
- epop, Extensible Publish or Perish.