Eine Software, mit der SGML- oder XML- Dokumente anhand einer zuvor definierten "Document Type Definition" DTD syntaktisch auf formale Richtigkeit geprüft werden.