Polyspace Users Meetup
Overview
What’s New in Polyspace R2026a
We are delighted to invite you to our upcoming Polyspace Users Meetup, a free 1 hour online event, created especially focusing on best practices, product and workflow improvements, for existing Polyspace users.
During that session, you’ll get a clear, structured look at the newest enhancements and features introduced in Polyspace R2026a. Through demos and videos, you’ll discover how you can apply these updates to your own verification workflows, and where you can immediately benefit in your daily engineering practice.
A recording of the session will be available for participants who are unable to attend.
Highlights
In this Polyspace Users Meetup, you will:
- Discover new features and capabilities introduced in the latest Polyspace release
- Explore how these updates enhance verification objectives
- See their impact on workflow support for modern development practices
- Participate in an open discussion and Q&A with the Polyspace community
Who Should Attend
This event is intended for:
- Existing Polyspace users planning to upgrade to R2026a
- Engineers verifying generated or handwritten C/C++ code
- Teams interested in adopting new Polyspace workflows and capabilities
- Technical leads and process owners evaluating next steps for verification workflows
About the Presenter
Alexandre Langenieux
Alexandre is responsible for Polyspace product marketing. He will guide you through the key updates in Polyspace R2026a and explain how they translate into practical benefits for users.
Agenda
| Time | Title |
10:00 |
Welcome & Introduction (5 minutes) |
10:05 |
What’s New in Polyspace R2026a (40 minutes) Overview of the major new features, products, and workflow improvements in the R2026a release. |
10:45 |
Q&A and Closing Remarks (15 minutes) |
11:00 |
End of the Polyspace Users Meetup |
