Proving the Absence of Run-Time Errors

Ram Cherukuri, MathWorks

Prove the existence and absence of critical run-time errors in source code with static analysis that is based on formal methods.

対象製品

  • Polyspace Code Prover