AlloyTools

Alloyは、構造を記述するための言語であり、それらを探索するためのツールです。セキュリティメカニズムの脆弱性の発見から電話交換網の設計まで、幅広い用途で使用されています。このリポジトリには、そのツールのコードが含まれています。