xsd2als

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎2 ‎评分

关于 xsd2als

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