| Polyspace Embedded Software Verification for C/C++ and Ada | |
| Polyspace static code analysis tools detect and prove the absence of overflow, divide-by-zero, out-of-bounds array access, and other run-time errors in C/C++/Ada code. | |
| Keywords : Polyspace static code analysis tools detect and prove the absence of overflow, divide-by-zero, out-of-bounds array access, and other run-time errors in C/C++ and Ada code. | |
| H2 tags : Parallel Computing; Math, Statistics, and Optimization; Control System Design and Analysis; Signal Processing and Communications; Image Processing and Computer Vision; Test and Measurement; Computational Finance; Computational Biology; Code Generation; Application Deployment; Database Connectivity and Reporting; Fixed-Point Modeling; Event-Based Modeling; Physical Modeling; Rapid Prototyping and HIL Simulation; Verification, Validation, and Test; Simulation Graphics and Reporting; Technical Computing; Simulation and Model-Based Design; Learn; Teach; Research; Blogs; Code Verification with Polyspace |
| Last Update : | 04/January/2012 |
| Google PR : | N/A |
| Internal links : | 26 |
| External links : | 114 |
| Archive : | Check how did the site look in the past? |