提交软件

开发者 xsd2als.sf.net

  • xsd2als 免费

    使用合金以一阶逻辑对 XML 架构文档建模，以便为应用程序生成测试输入并证明文档的约束。