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.

Product Focus

  • Polyspace Code Prover