AlloyTools/org.alloytools.alloy
@AlloyToolsAlloy es un lenguaje para describir estructuras y una herramienta para explorarlas. Se ha utilizado en una amplia gama de aplicaciones, desde encontrar vulnerabilidades en mecanismos de seguridad hasta diseñar redes de conmutación telefónica. Este repositorio contiene el código de la herramienta.
Estrellas
865
Bifurcaciones
149
Lenguaje
Java
Licencia
NOASSERTION
Último push
hace 3 meses
Intel relacionado (0)
Aún no hay intel relacionado
Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.