[Description] The exception that is thrown when the security policy requires code to be type safe and the verification process is unable to verify that the code is type safe. [Class] 
VerificationException