發送短信 : Avoiding state-space explosion in Model-Checker : M.A Thesis Information Technology : 60 48 01

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