AlloyTools

Alloy ist eine Sprache zur Beschreibung von Strukturen und ein Werkzeug zu deren Untersuchung. Es wurde in den unterschiedlichsten Bereichen eingesetzt, von der Erkennung von Sicherheitslücken bis hin zum Entwurf von Telefonvermittlungsnetzen. Dieses Repository enthält den Quellcode für das Tool.