AlloyTools/org.alloytools.alloy
@AlloyToolsAlloy 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.
Sterne
865
Forks
149
Sprache
Java
Lizenz
NOASSERTION
Letzter Push
vor 3 Monaten
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.