Setting Up Polyspace Projects - MATLAB & Simulink
Current Time 0:00
Duration 2:03
Loaded: 8.09%
Stream Type LIVE
Remaining Time 2:03
 
1x
  • Chapters
  • descriptions off, selected
  • captions off, selected
  • en (Main), selected

    Setting Up Polyspace Projects

    Quickly create a project using Polyspace Bug Finder™ to find defects, and then import the project into Polyspace Code Prover™ to perform detailed code verification.

    Published: 5 Feb 2015

    Learn More

    Static Analysis Notes

    Feedback

    Up Next:

    Set up a Polyspace project automatically from your build configuration using the Polyspace configure feature.

    Set Up Polyspace Projects from Your Build System

    Related Videos:

    Document your Polyspace results using Polyspace Bug Finder and Polyspace Code Prover report generation capabilities. Default templates help standardize your workflow, while the web dashboard helps monitor overall code quality.

    Documenting Polyspace Results Using Reports

    Register now to learn how you can use Polyspace products to detect bugs, debug and fix your code. You will also learn how to verify your code with proof to show that your code is safe and robust.

    Comprehensive Static Analysis Using Polyspace Products

    Identify software defects via static analysis using Polyspace Bug Finder.

    What Is Polyspace Bug Finder?

    Explore how Solar Impulse uses Polyspace static analysis to ensure the software in their solar plane complies with DO 178B.

    Solar Impulse Uses Polyspace Static Analysis for Solar...

    View more related videos