Module 3 — Sets, One-Hot Encoding and Reachability

One-hot state membership, disjoint grant sets, and the reachable-state set — plus how a bounded search depth decides which bugs you can see.

Katas in this module (4)

• Kata 3.1 — One-Hot State Membership
• Kata 3.2 — Disjoint Grant Sets
• Kata 3.3 — The Reachable Set
• Kata 3.4 — Depth Reveals a Deep Bug

Part of Discrete Mathematics for Formal Verification on formal.org.