DATE is a project on formal analysis of diagnosability and testability in distributed and concurrent systems, formally modelled with label transition systems and Petri nets.
