Static Verification

Examples: Characteristics: