Accelerating DO-178C Certification with Formal Methods and Static Code Analysis

Static Code Analysis and formal methods with Polyspace

What are static code analysis and formal methods?

Why dynamic testing is not enough?

How does static code analysis work?

How to automate code reviews thanks to static code analysis?

How to use static code analysis in a Continuous Integration and DevOps workflows?

Q&A

Comply and achieve DO-178C certification faster using Polyspace

How to meet DO-178C (or DO-333 supplement) and document compliance with Polyspace?

Which DO-178C credits can you gain using Polyspace tools?

Why using formal methods in the context of Model-Based development?

Satisfy regulatory authorities (e.g. ESA, ECSS, SSB) with certified / qualifiable tools and certification artifacts

How to address Cybersecurity according to DO-326 and DO-356 requirements

Q&A