Text this

Number:

Provider:

CAPTCHA:

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

Please enter what you see:

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