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 soonGuides

Evidence management

Upload, link, review, and track evidence against your assurance claims.

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

← Back to documentation
Previous
Real-time collaboration
Guides
Next
Away goals & modularity
Guides

On this page