合金和合金*
[英]Alloy and Alloy*
问题描述
我上周阅读了有关 Alloy* 的论文，对我来说似乎很有趣，并且集成高阶量词的事实将有助于我的工作。 但我想知道它是否仍然是一个正在进行的项目，如果我可以继续研究 Alloy Analyzer UI 的那个版本，它是否稳定？
2 个解决方案
解决方案1
1 已采纳 2017-03-07 20:06:00
Alloy* 项目目前未处于积极开发阶段。 然而，它是稳定的，其他研究人员正在使用它来进行他们自己的研究。
您可以从http://alloy.mit.edu/alloy/hola/获得它（包括来源）。
如果您在编译/使用方面需要进一步帮助，请随时直接与我联系。
解决方案2
1 2019-10-28 17:24:40
与此同时...... Alloy（不是 Alloy*）现在是 Github 上的一个开源项目： https : //github.com/AlloyTools我们正在讨论的还包括 Alloy*
合金中的重构
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.