發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : UML design verification based on model checking techniques