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