From 27620b6469a1b1ba687754bacab54040820fbc3a Mon Sep 17 00:00:00 2001 From: Joshua Temple Date: Sun, 31 May 2026 16:18:43 -0400 Subject: [PATCH] docs: list the verify and verify/symbolic subpackages in the state README Signed-off-by: Joshua Temple --- state/README.md | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/state/README.md b/state/README.md index 002627e..e2ca491 100644 --- a/state/README.md +++ b/state/README.md @@ -173,11 +173,13 @@ with `m.ToJSON()`, reloaded with `state.LoadFromJSON`, analyzed with ## Subpackages -| Package | What it is | -| ------------------- | ------------------------------------------------------------------ | -| `state/analysis` | Static model-checking and path enumeration over a machine's IR. | -| `state/evolution` | Diffs two machine definitions and classifies the SemVer bump. | -| `state/conformance` | Reusable harness for driving golden scenarios against a machine. | +| Package | What it is | +| ----------------------- | ------------------------------------------------------------------ | +| `state/analysis` | Static model-checking and path enumeration over a machine's IR. | +| `state/evolution` | Diffs two machine definitions and classifies the SemVer bump. | +| `state/conformance` | Reusable harness for driving golden scenarios against a machine. | +| `state/verify` | Property and temporal verification: reachability, liveness, invariants, bounded simulation, coverage, and covering-suite generation. | +| `state/verify/symbolic` | Bounded symbolic guard reasoning: satisfiability, disjointness, and competing-transition (nondeterminism) detection over the Core guard tree. | ## Stability