Alloy Analyzer

  • 2025-07-05 (modified: 2025-07-13)
  • 별칭: Alloy

Daniel Jackson이 개발한 모델링 언어. 참고: Language reference

alloytools.org

Features

  • Small scope hypothesis에 기반하여 모든 경우의 수를 자동으로 검사
  • 모든 것을 n-ary relation으로 취급. 예: [{x}], 벡터는 [{x, y}], 매트릭스는 [{w, x}, {y, z}]

Publications

Articles

2025 © ak