© 4.1 Non-execution based Verification 4.2 Execution based Verification 4.3 Formal verification 4.4 Other methods >校长办公室 >Office of the President¾校长办公室 ¾Office of the President 4.1 Non-execution based Verification 4.2 Execution based Verification 4.3 Formal verification 4.4 Other methods