alloy analyzer

Awesome Alloy Analyzer

Learning

• Книга Daniel Jackson "Software Abstractions" (MIT Press)
• http://alloytools.org/documentation.html - документация по Alloy.
• Practical Alloy. A hands-on guide to formal software design.
• Alloy in 90 minutes - Daniel Jackson
• Daniel Jackson: Recent Talks
• Alloy Models - a public repository to host Alloy models.
• Alloy Documentation - 3rd-party Alloy documentation written by Hillel Waine.
• Formal Software Design with Alloy 6 - 3rd-party Alloy 6 documentation.
• Alloy Cheatsheet - Alloy 4 cheatsheet.
• Alloy Quick Reference (source code) - 3rd party quick reference.
• A Guide to Alloy
• A hands-on introduction to Alloy
• Обзорный курс по model-checking/model-finding, читаемый осенью 2020 для студентов 2-го курса МФТИ
• https://homepage.divms.uiowa.edu/~tinelli/classes/181/Fall17/lectures.shtml - хороший учебный материал по Alloy и реляционной логике с множествами.

Integrations

• VSCode (Alloy 6) https://marketplace.visualstudio.com/items?itemName=ArashSahebolamri.alloy
• VSCode (Alloy 5) https://marketplace.visualstudio.com/items?itemName=ArashSahebolamri.alloy5
• Vim syntax highlighting https://github.com/runoshun/vim-alloy
• Emacs support https://github.com/dwwmmn/alloy-mode
• Sublime https://github.com/corbanmailloux/sublime-mit-alloy

Extensions

• Electrum - a model checker for relational first-order temporal specifications.
• Alloy instances in TypeScript - using Alloy visualization with Typescript.
• αRby - an embedding of Alloy in Ruby.
• Sterling - Alloy with browser-based visualizations.
• Alloy* is a fully automatic higher-order solver over finite relational domains.
• Profiling Alloy models - https://github.com/WatForm/profiling-alloy-models - Project contains a number of scripts used to investigate the characteristics and patterns of use of Alloy Models.