發送短信 : 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

  ______    _____     ______    _____      _____  
 /_   _//  |  ___||  /_   _//  |  ___||   / ___// 
 `-| |,-   | ||__    `-| |,-   | ||__     \___ \\ 
   | ||    | ||__      | ||    | ||__     /    // 
   |_||    |_____||    |_||    |_____||  /____//  
   `-`'    `-----`     `-`'    `-----`  `-----`