AlloyTools

Alloy 是一種用於描述結構的語言以及用於探索結構的工具。它已被廣泛應用於各種應用中，從尋找安全機制的漏洞到設計電話交換網路。此儲存庫包含該工具的程式碼。