Skip to Main Content Skip to Search
Home |   Select Country  Choose Country  |  Contact Us  |  Cart Store 
Create Account | Log In
Products & Services Solutions Academia Support User Community Company
spacer spacer spacer spacer spacer spacer

 

PolySpace Model Link TL 5.4
for dSPACE TargetLink

Product Description

Typical Run-Time Errors Detected


In Models

  • Overflows and underflows
  • Division by zero and other arithmetic errors
  • Out-of-bounds array access
  • Dead code

In Code

  • Illegally dereferenced pointers
  • Read-only access to noninitialized data
  • Dangerous type conversions
Contact sales
Free technical kit
Trial software
E-mail this page

Get Pricing and
Licensing Options

Recorded Webinar

Verify Critical Ada, C and C++ Embedded Code new