You're viewing the readable version of this site. The interactive extras (search, diagrams, read-aloud) need JavaScript and a current browser. Enable JavaScript; if it is already enabled, update your browser.

Tag

Notes tagged “alloy”

Every note filed under alloy, newest first.

A filtered view of the notes.

2026

  1. Don't Write the Policy. Derive It.

    A security policy is a claim about every case you did not think of. State the invariant instead, enumerate what the system can actually do, and let a model checker hand you the counterexample.

    security formal-methods tla-plus alloy web verification dissecting-systems