Nhat-Hoa Tran. A Specification-Based Approach to Model Checking Event-Driven Systems. In Proceedings of the Tenth International Symposium on Information and Communication Technology, Ha Noi, Ha Long Bay, Vietnam, December 4-6, 2019. pages 449-456, ACM, 2019. [doi]
Abstract is missing.