Home

Publications

Teaching

Links

Contacts

D3S - Department of Distributed and Dependable Systems

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

MutRex - A generator of fault detecting tests for regular expressions