Vasyliev, A.2022-03-312022-03-312018Vasyliev A. Analysis of chatbot verification methods in messengers / A. Vasyliev // Міжнародна весняна школа з верифікації та штучного інтелекту : зб. доп., 24-25 квітня 2018 р. – Харків, 2018. – С. 32–41.https://openarchive.nure.ua/handle/document/20017Chatbot is a type of program which can be accessed by user using a natural language. Many popular messengers have introduced their own programming interfaces which allows creating and integrating chatbots to their internal communication system. Because of this fact, chatbot engineering started to grow fast and amount of chatbots increased intensively. It caused the necessity to research and analyze properties of chatbots, distinguish the most significant quality criteria and define how to verify chatbot quality in terms of software verification.ennatural languageChatbotThesis