Diades: DIAgnosis of Discrete-Event Systems

The software diades is here .

Dito: DIagnosis TOols

The software Dito is here .