PolySpace Model Link TL 5.4

for dSPACE TargetLink

Related Products

PolySpace Client for Ada
Detect run-time errors and prove code correctness before compile time

PolySpace Client for C/C++
Prove the absence of run-time errors in source code

PolySpace Model Link SL
Trace PolySpace results to Simulink models

PolySpace Server for Ada
Detect run-time errors and prove code correctness before compile time

PolySpace Server for C/C++
Perform PolySpace verifications on dedicated servers, computer clusters, or server farms

PolySpace UML Link RH
Trace PolySpace results to Telelogic Rhapsody models