發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

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