Programma's van xsd2als.sf.net

Model XML-schemadocumenten in de logica van de eerste orde met behulp van Alloy om testingangen voor toepassingen te genereren en beperkingen met betrekking tot documenten te bewijzen.