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
Previous← Example: Trace-driven modeling
NextGlossary →