Polyspace Workshop: Polyspace for Code Quality and Verification
| Venue | Start Date | End Date |
|---|---|---|
| MathWorks Bengaluru | 2 Dec 2025, 09:45 IST | 2 Dec 2025, 14:00 IST |
Overview
In this workshop, we will explore the capabilities of Polyspace for improving software quality through static code analysis and formal verification.
We will begin with an introduction to Polyspace, explaining the fundamentals of static code analysis and how formal verification enhances code reliability.
Highlights
- Discover Polyspace: Learn how static code analysis and formal verification can dramatically improve your software quality.
- Polyspace Bug Finder: See how to automatically detect coding errors, bugs, and security vulnerabilities—plus ensure compliance with industry standards like MISRA and CERT..
- Polyspace Code Prover: Understand how to formally verify your code to eliminate run-time errors and prove the absence of critical bugs.
- Expert Insights: Get best practices for seamlessly integrating Polyspace tools into your development workflow.
Who Should Attend
System Simulation Engineers, Powertrain System Engineers, Vehicle dynamic Engineers, Engineers developing products using agile workflows, Team leads, Managers, Process advisors, Tooling and infra teams, Safety managers, BMS Engineers, Embedded Engineers, Data Scientists, AI Engineers, Technical leaders
About the Presenter
Alakananda B G is an Application Engineer at MathWorks India with a strong background in embedded systems and application engineering. She holds a master’s degree in Embedded Systems from PES University. With over three years of industry experience, Alakananda specializes in supporting customers throughout the embedded application development lifecycle. Prior to her current role, she worked at Infineon Technologies as a Senior Customer Applications Engineer, where she played a key role in assisting clients with microcontroller-based solutions and providing technical guidance at multiple stages of embedded product development.
Agenda
| Time | Title |
10:00am – 10:30am |
Introduction to Polyspace |
10:30am – 11:15am |
Deep Dive into Polyspace Bug Finder |
11:15am – 11:30am |
Tea/Coffee Break |
11:30am – 12:15am |
Understanding Polyspace Code Prover |
12:15am – 12:45pm |
Q&A and Best Practices followed by Lunch |
We will not sell or rent your personal contact information. See our privacy policy for details.
You are already signed in to your MathWorks Account. Please press the "Submit" button to complete the process.
