https://github.com/sinamoghtaderfar/Alloy-Analyzer

online exam and justice project
https://github.com/sinamoghtaderfar/Alloy-Analyzer

alloy-analyzer justice model online-exam specification-language structure workspace

Last synced: 16 days ago
JSON representation

online exam and justice project

• Host: GitHub
• URL: https://github.com/sinamoghtaderfar/Alloy-Analyzer
• Owner: sinamoghtaderfar
• Created: 2023-07-19T12:39:18.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-10-23T11:39:01.000Z (about 1 year ago)
• Last Synced: 2024-07-29T16:49:36.801Z (3 months ago)
• Topics: alloy-analyzer, justice, model, online-exam, specification-language, structure, workspace
• Language: Alloy
• Homepage:
• Size: 116 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Alloy-Analyzer

https://github.com/AlloyTools/org.alloytools.alloy

https://alloytools.org/

https://en.wikipedia.org/wiki/Alloy_(specification_language)

https://www.youtube.com/watch?v=Sf8iWVvkWQ4&t=154s

about alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks.

An Alloy model is a collection of constraints that describes (implicitly) a set of structures, for example: all the possible security configurations of a web application, or all the possible topologies of a switching network. Alloy’s tool, the Alloy Analyzer, is a solver that takes the constraints of a model and finds structures that satisfy them. It can be used both to explore the model by generating sample structures, and to check properties of the model by generating counterexamples. Structures are displayed graphically, and their appearance can be customized for the domain at hand.

At its core, the Alloy language is a simple but expressive logic based on the notion of relations, and was inspired by the Z specification language and Tarski’s relational calculus. Alloy’s syntax is designed to make it easy to build models incrementally, and was influenced by modeling languages (such as the object models of OMT and UML). Novel features of Alloy includes many new rich subtype facilities for factoring out common features and a uniform and powerful syntax for navigation expressions.