Free Polyspace Embedded Software Verification Technical Kit

Complete this form to learn more about using Polyspace^® products to detect and prove the absence of run-time errors. This technical kit includes data sheets for Polyspace products, user success stories from Nissan and EADS, and the white paper that explains the technology, “'Code Verification and Run-Time Error Detection Through Abstract Interpretation.”