标签： alloy
我开始用第一版的软件抽象来研究Alloy，在第一个例子中，在本书的第2.1点，本书展示了对我的一个不同的模拟。我看到Alloy4.2
我在macOS 10.12.5上使用Alloy Analyzer 4.2
我正在执行的模拟是这样的：https://puu.sh/w0Tp4/be9c6da0a8.png
