#

assurance-engineering

Here are 3 public repositories matching this topic...

structural-explainability / se-theory-structural-assurability

Lean 4 formalization of Structural Explainability's Structural Assurability theory.

theorem-proving formal-methods assurance formal-verification structural-explainability structural-assurability assurance-engineering comparative-assurability observational-indistinguishability

Updated Oct 18, 2026
Lean

structural-explainability / se-pilot-structural-assurability

Applied research investigating the applicability and limitations of claim-relative Structural Assurability.

ai-evaluation structural-explainability structural-assurability assurance-engineering observational-indistinguishability evidentiary-capabilities claim-resolution

Updated Sep 29, 2026
Python

BlackRonin-coder / BlackRonin-coder

Leon Maurice Browne | Safety-critical systems, AI control, assurance and public research

safety-critical-systems systems-thinking ai-control agent-safety assurance-engineering bindu-method consequence-bounded-control

Updated Oct 8, 2026

Add this topic to your repo

To associate your repository with the assurance-engineering topic, visit your repo's landing page and select "manage topics."