To run Alloy models (.als files), use the Alloy Analyzer.
To run Z models (latex .zed files), use the Jaza Anymator.
vinahradau/misc
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description or website provided.
Topics
security
social-network
credit-card
set-theory
rbac
formal-methods
role-based-access-control
access-control
formal-verification
formal-languages
role-based
access-control-list
formal-specification
mandatory-access-control
formal-models
alloy-analyzer
z-notation
access-control-patterns
barber-paradox
discretionary-access-control
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published