Text this: Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat

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