ERATO MMSD - ERATO Metamathematics for Systems Design project
Software
MutRex - A generator of fault detecting tests for regular expressions
TearRex - A tester and repairer for regular expressions
Asmeta - A set of tools for Abstract State Machines
NuSeen - An eclipse-based environment for the NuSMV model checker
ATGT boolean - A SAT-based test generator for Boolean expressions