# Alloy Authors - Practical Alloy (Highlights) ## Metadata **Status**:: #x **Zettel**:: #zettel/index **Created**:: [[2025-05-14]] ## Structural Modeling [[Alloy Authors - Practical Alloy - Structural modeling (Highlights)]] ### Advanced topics - [[Alloy Authors - Practical Alloy - Subset signatures (Highlights)]] - [[Alloy Authors - Practical Alloy - Commands in detail (Highlights)]] - [[Alloy Authors - Practical Alloy - Higher-arity relations (Highlights)]] - [[Alloy Authors - Practical Alloy - Arrow multiplicity constraints (Highlights)]] - [[Alloy Authors - Practical Alloy - Type system (Highlights)]] - [[Alloy Authors - Practical Alloy - Module system (Highlights)]] - [[Alloy Authors - Practical Alloy - The predefined ordering module (Highlights)]] - [[Alloy Authors - Practical Alloy - A relational logic primer (Highlights)]] - [[Alloy Authors - Practical Alloy - Model finding (Highlights)]] - [[Alloy Authors - Practical Alloy - Encoding test instances (Highlights)]] - [[Alloy Authors - Practical Alloy - Handling recursion (Highlights)]] - [[Alloy Authors - Practical Alloy - Working with integers (Highlights)]] - [[Alloy Authors - Practical Alloy - Signature facts (Highlights)]] ## Behavioral Modeling [[Alloy Authors - Practical Alloy - Behavioral modeling (Highlights)]] ### Advanced topics - [[Alloy Authors - Practical Alloy - A temporal logic primer (Highlights)]] - [[Alloy Authors - Practical Alloy - Mutable top-level signatures (Highlights)]] - [[Alloy Authors - Practical Alloy - Meta-capabilities (Highlights)]] - [[Alloy Authors - Practical Alloy - An idiom for event depiction (Highlights)]] - [[Alloy Authors - Practical Alloy - Encoding trace scenarios (Highlights)]] - [[Alloy Authors - Practical Alloy - The trace evaluator (Highlights)]] - [[Alloy Authors - Practical Alloy - Inductive invariants (Highlights)]] - [[Alloy Authors - Practical Alloy - Sequences (Highlights)]] - [[Alloy Authors - Practical Alloy - Safety, liveness, and fairness (Highlights)]] ## Applications - [[Alloy Authors - Practical Alloy - Protocol design (Highlights)]] ## Reference [[Alloy Authors - Alloy 6 Reference - Lexical Issues (Highlights)]]