software-assurance-formal-methods-specialist

What problem does it solve?

Aligns software claims with formal verification planning, enabling teams to structure assurance cases, map evidence, and communicate credible safety and security arguments across stakeholders.

Core Features & Use Cases

• Assurance case authoring: construct GSN/CAE-style arguments linking goals, evidence, and contexts.
• Traceability mapping: establish bidirectional links from requirements to verification artifacts and tests.
• Formal methods guidance: select appropriate techniques (model checking, theorem proving, ACSL/TLA+) for risk-critical modules.
• CI integration & evidence packaging: integrate verification outputs into CI and curate evidence for audits and certification.
• Standards alignment: map artifacts to DO-178C/DO-333, IEC 61508, ISO 26262, Common Criteria, and NIST SSDF.
• Reference library: leverage references for assurance-case patterns and formal-method landscapes.

Quick Start

Create a starter assurance plan and skeleton GSN mapping high-level requirements to verification activities.