Documentation
Guides, concepts, and reference for building structured safety arguments with Lemmatica.
Quick Start
Get up and running with Lemmatica in minutes.
Core Concepts
Goals, strategies, solutions — learn the building blocks.
Building Arguments
Structure and validate your first safety argument.
Use Cases
See how teams use Lemmatica across industries.
Browse by section
Getting Started
Guides
- Building ArgumentsComing soon
How to structure goals, strategies, and solutions into a coherent safety argument.
- Real-Time CollaborationComing soon
Work on safety cases together with live cursors, presence, and shared editing.
- Evidence ManagementComing soon
Upload, link, review, and track evidence against your safety claims.
- Away Goals & ModularityComing soon
Break large safety cases into modular sub-cases with away goal references.
Concepts
- GSN V3 Notation
Complete reference for Goal Structuring Notation V3 elements and rules.
- Validation RulesComing soon
How Lemmatica validates your safety arguments against GSN V3 structural rules.
- Dialectic ReasoningComing soon
Challenge claims with counter-arguments and track defeated nodes.
- Modular Safety CasesComing soon
Compose large safety arguments from reusable modular sub-cases.
Use Cases
- Automotive (ISO 26262)Coming soon
Using Lemmatica for automotive functional safety cases under ISO 26262.
- Aerospace (DO-178C)Coming soon
Structured assurance arguments for airborne software under DO-178C.
- Autonomous Vehicles (UL 4600)Coming soon
Safety cases for autonomous vehicle systems under UL 4600.
- Cybersecurity (ISO/SAE 21434)Coming soon
Cybersecurity assurance cases for automotive systems under ISO/SAE 21434.
- Medical DevicesComing soon
Safety and assurance cases for medical device development.