發送短信 : Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần

 _    _      ___                ______   ______   
| |  | ||   / _ \\      ___    /_   _// |      \\ 
| |/\| ||  / //\ \\    /   ||   -| ||-  |  --  // 
|  /\  || |  ___  ||  | [] ||   _| ||_  |  --  \\ 
|_// \_|| |_||  |_||   \__ ||  /_____// |______// 
`-`   `-` `-`   `-`     -|_||  `-----`  `------`  
                         `-`