On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method

Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle. On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. In Daniel Moldt, Ekkart Kindler, Manuel Wimmer, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019. Volume 2424 of CEUR Workshop Proceedings, pages 57-72, CEUR-WS.org, 2019. [doi]

Abstract

Abstract is missing.