SpecLogician
HomeDocsContact
LoginStart for Free
  • SpecLogician
  • Getting started
  • Concepts
    • Concepts overview
    • Scenarios
    • Domain model
    • State instances and diffs
    • Agentic reasoning loop
  • Guides
  • Reference
Home/Docs/concepts
Previous← Getting started
NextConcepts overview →
SpecLogician

AI framework for data-driven formal program specification synthesis, verification and analysis.

Quick Links

  • Home
  • Contact

Connect

  • GitHub
  • X
  • LinkedIn

© 2026 Imandra Inc. All rights reserved. Legal

Made with ❤️ on 🌎