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

Building arguments

How to structure goals, strategies, and solutions into a coherent assurance argument.

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

← Back to documentation
Previous
Importing existing cases
Getting Started
Next
Real-time collaboration
Guides

On this page