أرسل هذا في رسالة قصيرة: 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

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