Ako pripraviť SORA: identifikácia rizík, výber mitigácií a zostavenie dôkazov pre schválenie špecifickej prevádzky.
Značka: dôkazy
Ako formálne overiť kritický kód autopilota. Model checking, invariants a požiadavky DO-178C pre vyššiu dôveryhodnosť a certifikáciu.