Reference Quick-reference material for SpecLogician concepts and common questions. Glossary — key terms: domain model, predicate, transition, scenario, state instance, diff, artifact, and more FAQ — common questions about the approach, scaling, and how SpecLogician relates to formal specifications and testing