Verification of Specific Properties