发送短信 : Leveraging applications of formal methods, verification, and validation :