發送短信 : Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình

  _  __    ______    ____      ______   _    _   
 | |/ //  /_   _//  |  _ \\   /_   _// | |  | || 
 | ' //    -| ||-   | |_| ||   -| ||-  | |/\| || 
 | . \\    _| ||_   | .  //    _| ||_  |  /\  || 
 |_|\_\\  /_____//  |_|\_\\   /_____// |_// \_|| 
 `-` --`  `-----`   `-` --`   `-----`  `-`   `-`