This page provides some stuff for people interested in diagnosability of DES and diagnosability by SAT.
The java sources can be downloaded at this address: Sources. After un-tar-ing the file, you can have a look at dty/html/index.htm.
The binaries (java, in .jar format) are available at this address: dty.jar. Don't forget to download the antlr.jar library. Instructions are available here.
The benchmark used in IJCAI-07 paper are available at this address, bench.tar.gz, together with a script to generate systems of any size.