Formal Verification of P Systems