發送短信 : Inferring class level specifications for distributed systems

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