AlloyTools

Alloy adalah bahasa untuk mendeskripsikan struktur dan alat untuk menjelajahinya. Telah digunakan dalam berbagai aplikasi mulai dari menemukan celah pada mekanisme keamanan hingga merancang jaringan pengalihan telepon. Repositori ini berisi kode untuk alat tersebut.