Key Points

• Efficiency: PolySpace Verifier turns detection of run-time errors on its head: PolySpace Verifier exhaustively and automatically detects sources of run-time errors.
• Quality: It finds run-time errors even in critical applications validated using existing top-level testing and debugging methods.
• Productivity: Reduce verification and validation time and costs while drastically improving software quality. Neither changes to your process, nor constraints on the coding style are imposed.

About the Author

Christian HOTE obtained his PhD in Physics in 1991. He joined Verilog (European leader CASE Tools provider) as product manager and participated in several European Research programs (Eureka, Esprit) for embedded systems design and development. He joined PolySpace Technologies at its creation and manages US business development and operations.