Model XML Schema documents in first-order logic using Alloy in order to generate test inputs for applications and prove constraints about documents.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow xsd2als

xsd2als Web Site

Other Useful Business Software
$300 in Free Credit Towards Top Cloud Services Icon
$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Get Started
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of xsd2als!

Additional Project Details

Intended Audience

Quality Engineers, Science/Research

Programming Language

Java

Related Categories

Java Software Testing Tool, Java Scientific Engineering

Registered

2007-03-28