AI-Assisted C/C++ Development: Keeping Verification in the Loop
| Session | Start Time | End Time |
|---|---|---|
| Session 1 | 20 Oct 2026, 5:00 AM EDT | 20 Oct 2026, 6:00 AM EDT |
| Session 2 | 20 Oct 2026, 11:00 AM EDT | 20 Oct 2026, 12:00 PM EDT |
Overview
Generative AI is changing how embedded software teams create, review, and modify C/C++ code. As development accelerates, teams still need trusted verification, coding standards checks, and software quality evidence.
Join MathWorks for this webinar with John Greenland to learn how verification fits into AI-assisted development workflows. You will see how Polyspace Copilot and the Polyspace Agentic Toolkit can help developers explore findings, review suggested fixes, and keep Polyspace verification capabilities in the workflow as teams evaluate AI-assisted and agentic development approaches.
Highlights
- Understand how AI-assisted development is changing embedded C/C++ software workflows
- Learn why verification remains critical as AI accelerates code generation and modification
- Explore common quality and compliance considerations for AI-assisted software development
- See examples of Polyspace Copilot and the Polyspace Agentic Toolkit in AI-assisted workflows
- Identify practical next steps to evaluate Polyspace Copilot and try the Polyspace Agentic Toolkit
Who Should Attend
Embedded C/C++ developers, software architects, verification and validation engineers, software quality leads, functional safety engineers, and teams evaluating AI-assisted coding approaches for embedded software development.
About the Presenter
John Greenland is a Product Marketing Manager for Polyspace Test at MathWorks. He works with teams using Polyspace to improve software quality, testing, and verification workflows. His background includes application engineering, business development, software development, and CI/CD workflows.
Agenda
| Time | Title |
0:00 |
Welcome and Webinar Overview |
0:05 |
AI Trends in Embedded C/C++ Software Development |
0:15 |
Verification Challenges in AI-Assisted Development |
0:25 |
Introducing Polyspace Copilot |
0:35 |
Introducing the Polyspace Agentic Toolkit |
0:45 |
Demo Walkthrough: Polyspace in AI-Assisted and Agentic Workflows |
0:55 |
Getting Started and Q&A |
Product Focus
We will not sell or rent your personal contact information. See our privacy policy for details.
I understand that photographs and videos of me may be taken during this event. I give my permission to use these in any promotional materials for MathWorks.
You are already signed in to your MathWorks Account. Please press the "Submit" button to complete the process.
