bannera

Book A.
Introduction

Book B.
7150 Requirements Guidance

Book C.
Topics

Tools,
References, & Terms

SPAN
(NASA Only)

Tool title

Title of page above

Type

COTS

Owner/Source

MathWorks

Link

https://www.mathworks.com/products/polyspace.html

Description

Polyspace® static code analysis products use formal methods to prove the absence of critical run-time errors under all possible control flows and data flows. They include checkers for coding rules, security vulnerabilities, code metrics, and hundreds of additional classes of bugs.

User

ARC, IV&V

SWE

SWE-087, SWE-135


  • No labels