검증(The process in which a developer tests an app to make sure it meets app requirements); 확인(A part of the compilation process in which code is checked for conformance to a specific set of rules defined to allow proof of certain security requirements. The common language runtime can verify Common Intermediate Language (CIL))
