Model checking XSL transformations
We develop a framework to model XSL transformations and XML Schema constraints. We use model checking to verify the correctness of XSL transformations. We provide a tool for XSL verification, including an advanced error reporting. We show how to interactively check and fix XSL transformations in our framework.
model checking xml technologies xslt language software verification