合金和合金*
[英]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.