Gerhard Hirschmann

EHOX Universal Pitch Deck v3 — Silicon-Level AI Governance for Defence, Aerospace, Medical, Mobility

Updated version of EHOX formal verification and engineering artifact. Creator corrected to Gerhard Hirschmann (EHOX Systems, St. Johann in Tirol, Austria). Original record: 21818828. Hardware: AMD Kria KV260, ARM Cortex-R5F, ZynqMP XCZU5EV. Formal verification: CBMC 198/0, Z3 SMT...