发送短信 : Formal specification and validation for pattern scanning