AlloyTools/org.alloytools.alloy
@AlloyToolsAlloy는 구조를 설명하기 위한 언어이자 이를 탐색하기 위한 도구입니다. 보안 메커니즘의 취약점 발견부터 전화 교환망 설계에 이르기까지 다양한 분야에 활용되어 왔습니다. 이 저장소는 해당 도구의 코드를 포함합니다.
스타
865
포크
149
언어
Java
라이선스
NOASSERTION
마지막 푸시
3개월 전
관련 인텔 (0)
아직 관련 인텔이 없습니다
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.