發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : Verification, Model Checking, and Abstract Interpretation