Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software
|
| gptkbp:bfsLayer |
6
|
| gptkbp:bfsParent |
gptkb:Polyspace_Technologies
|
| gptkbp:analyzes |
embedded systems
safety-critical software |
| gptkbp:developed_by |
gptkb:Math_Works
|
| gptkbp:enhances |
team collaboration
software reliability |
| gptkbp:has_feature |
user-friendly interface
detailed documentation integration with CI/ CD pipelines automatic code review customizable analysis settings |
| https://www.w3.org/2000/01/rdf-schema#label |
Polyspace Code Prover
|
| gptkbp:integrates_with |
gptkb:Simulink
gptkb:MATLAB |
| gptkbp:is_available_on |
gptkb:2006
|
| gptkbp:is_compatible_with |
gptkb:smartphone
gptkb:operating_system |
| gptkbp:is_part_of |
software development lifecycle
Math Works suite of tools Polyspace product family |
| gptkbp:is_recognized_by |
industry standards
|
| gptkbp:is_used_for |
software verification
|
| gptkbp:is_used_in |
gptkb:aircraft
gptkb:film_production_company gptkb:financial_services_company gptkb:Telecommunications_company medical device software |
| gptkbp:offers |
control flow analysis
data flow analysis runtime error detection dead code detection |
| gptkbp:provides |
formal verification
bug detection code quality analysis |
| gptkbp:recognizes |
memory leaks
division by zero buffer overflows null pointer dereferences uninitialized variables |
| gptkbp:reduces |
development costs
|
| gptkbp:reports_to |
code compliance
potential vulnerabilities coding standards adherence |
| gptkbp:suitable_for |
large codebases
safety-critical applications complex algorithms |
| gptkbp:supports |
gptkb:language
C++ programming language |