Formal methods

Code Metal, a startup specializing in AI-powered coding tools, has secured $36.5 million in funding led by Accel Partners. Code Metal’s innovation allows engineers to write code once and automatically translate it into multiple programming languages, addressing the challenge of fragmented hardware architectures in industries like automotive and embedded systems. Unlike generative AI “vibe coding” platforms, Code Metal focuses on deploying production-ready code using formal methods to ensure accuracy and compliance. The company’s technology is in demand from the U.S. Air Force to automotive suppliers.