Please reach the documentation before the code: https://goo.gl/FA2JMV
Aimed to determine verification of Quality of services 2 (QoS2) level protocol which is a security protocol of MQTT using Scyther Tool made by Cas Cremers. To carry out this study, three different scenarios were created for Quality of Service 2 level which is an important main security protocol. These scenarios were examined one by one and attacks were analyzed. (see: https://goo.gl/FA2JMV)