發送短信: Formal Methods Teaching