Software present at the demo sessions
Desco
http://desco.up.pt
FAdo
http://fado.dcc.fc.up.pt
Grail+
http://www.csit.upei.ca/theory/
I-LaSer
http://laser.cs.smu.ca/independence/
libFAUDES
http://www.rt.eei.uni-erlangen.de/FGdes/faudes
PAPAGENO
https://code.google.com/p/parallelparsing/
Spot
http://spot.lip6.fr/wiki/ (Web interface http://spot.lip6.fr/ltl2tgba.html)
T3S-Tool
http://code.google.com/p/t3s-tool/
XMLCorrector
http://www.info.univ-tours.fr/~savary/English/xmlcorrector.html
Vaucanson
http://www.vaucanson-project.org
Booklet for the demo sessions