Home

Publications

Teaching

Links

CV

Contacts

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