Meeting ASIL C and D with Formal Methods
Zenseact develops world-leading safety software for passenger cars. As an AI and software company dedicated to revolutionizing car safety, Zenseact designs the complete software stack for autonomous driving and advanced driver-assistance systems. Zenseact strives to end car accidents altogether and create safe roads for everyone. AdaCore supplies the tools for Zenseacts high-integrity software development requirements.
