Overmatch VC

Nominal builds the unified, real-time test stack for physical systems. The platform helps engineering teams developing complex hardware (aircraft, satellites, autonomous vehicles, fusion energy systems, weapons programs) to test, validate, and monitor their systems continuously.

AI-powered platform for verifiable code translation and optimization across programming languages and hardware systems. Uses neuro-symbolic AI combining large language models with formal verification methods to ensure provably correct translations for mission-critical industries including defense, aerospace, semiconductors, and automotive.