AlloyTools

Alloy là một ngôn ngữ để mô tả các cấu trúc và là công cụ để khám phá chúng. Nó đã được sử dụng trong nhiều ứng dụng từ việc tìm lỗ hổng trong các cơ chế bảo mật đến thiết kế mạng chuyển mạch điện thoại. Kho lưu trữ này chứa mã nguồn cho công cụ đó.