Formalization and verification of property specification patterns