From AI-Generated Code to Verified Embedded Software: Static Analysis with Arm Keil Studio and AbsInt Astrée

Date: October 01, 2026 
Time: 8:00 AM PST, 4:00 PM GMT, 5:00 PM CET 
Duration: 30 min + Q&A 

AI assistants can transform an idea into C or C++ code within seconds. But in safety- and security-critical systems, plausible code is not proof of correct code. LLM-generated software may pass functional tests while still containing subtle memory-safety, security, or compliance defects.

Join experts from Arm and AbsInt to discover how sound static analysis can be integrated directly into Arm Keil Studio and Visual Studio Code. See how Astrée uses existing project and build information to provide continuous guideline checking, identify covered runtime errors and data races, and support demanding functional-safety and cybersecurity workflows.

The session will also explore a forward-looking agentic workflow that interleaves AI code generation with deterministic analysis, review, configuration, and automated correction. Learn how development teams can benefit from AI-assisted productivity without compromising rigorous software verification.