BeCert: be certain every property is compliant