GitHub repository: jthemphill/permission-model
Primary language: Alloy
Description: Model of a permissions-based filesystem using Alloy