Statements (53)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software
|
| gptkbp:bfsLayer |
6
|
| gptkbp:bfsParent |
gptkb:Polyspace_Technologies
|
| gptkbp:analyzes |
runtime errors
overflow errors division by zero errors |
| gptkbp:can_create |
code annotations
|
| gptkbp:developed_by |
gptkb:Math_Works
|
| gptkbp:enhances |
software reliability
team productivity |
| gptkbp:exported_to |
analysis results
|
| https://www.w3.org/2000/01/rdf-schema#label |
Polyspace Bug Finder
|
| gptkbp:integrates_with |
gptkb:MATLAB
CI/ CD pipelines |
| gptkbp:is_available_on |
gptkb:2008
gptkb:smartphone gptkb:operating_system |
| gptkbp:is_compatible_with |
gptkb:Simulink
|
| gptkbp:is_considered_as |
best practice tool
|
| gptkbp:is_documented_in |
Math Works documentation
|
| gptkbp:is_part_of |
software development lifecycle
software verification tools Polyspace product family |
| gptkbp:is_promoted_by |
Math Works marketing
|
| gptkbp:is_recognized_by |
industry standards
|
| gptkbp:is_supported_by |
Math Works customer support
|
| gptkbp:is_used_by |
gptkb:software
quality assurance teams project managers |
| gptkbp:is_used_for |
regulatory compliance
detecting bugs in C/ C++ code |
| gptkbp:is_used_in |
gptkb:aircraft
gptkb:film_production_company embedded systems medical device software |
| gptkbp:offers |
report generation
code quality metrics |
| gptkbp:provides |
static analysis results
code verification customizable analysis settings visualization of code issues |
| gptkbp:recognizes |
memory leaks
dead code data races unreachable code |
| gptkbp:reduces |
development costs
|
| gptkbp:supports |
gptkb:ISOC
C language C++ language MISRAC CERTC |
| gptkbp:updates |
bug fixes
new features |