Docs
Go to Lemmatica

Getting Started

  • What is Lemmatica?
  • Core Concepts
  • Your first safety case
  • Importing existing cases

Guides

  • Building arguments
  • Real-time collaboration
  • Evidence management
  • Away goals & modularity

Concepts

  • GSN V3 Notation
  • Validation rules
  • Dialectic reasoning
  • Modular assurance cases
  • Glossary

Use Cases

  • Automotive
  • Aerospace
  • Autonomous vehicles
  • Cybersecurity assurance
  • Medical devices
  • Defence
Coming soonConcepts

Validation rules

How Lemmatica validates your assurance arguments against GSN V3 structural rules.

This page is under development. Check back soon or follow our changelog for updates.

← Back to documentation
Previous
GSN V3 Notation
Concepts
Next
Dialectic reasoning
Concepts

On this page