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

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