Software and tools
- Datalaude - http://safe-tools.dsic.upv.es/datalaude/
- DATALOG_SOLVE - http://safe-tools.dsic.upv.es/datalogsolve/
- DBDT - http://users.dsic.upv.es/~flip/dbdt
- JavaPCC - http://users.dsic.upv.es/grupos/elp/toolsMaude/rewritingLogic.html
- LGG - http://zenon.dsic.upv.es:8080/newlgg/
- Maude-NPA GUI - http://users.dsic.upv.es/~ssantiago/Maude-NPA_GUI/
- MultiSolver - http://zenon.dsic.upv.es/multisolver
- MU-TERM - http://zenon.dsic.upv.es/muterm
- Narradar - http://safe-tools.dsic.upv.es/narradar/
- ProbDBDT - http://users.dsic.upv.es/~flip/dbdt
- tccp Interpreter - http://www.dsic.upv.es/~villanue/tccpInterpreter
- web-cmp - http://users.dsic.upv.es/~dromero/web-cmp/web-cmp.html
- Web-tlr - http://zenon.dsic.upv.es:8080/webtlr/
- WebVerdi - http://users.dsic.upv.es/grupos/elp/webverdi-m/
- MonadEx - http://pepeiborra.github.com/control-monad-exception
