למידע נוסף על המוצר של MathWorks והצעת מחיר:
בקשה להצעת מחיר נשלחה בהצלחה
יש למלא את כל השדות
אירעה שגיאה, אנא נסה שנית מאוחר יותר
MathWorks Polyspace Code Prover
Polyspace Code Prover proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++ source code. It produces results without requiring program execution, code instrumentation, or test cases.