Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert Armstrong, Michael J. Butler. Formal Verification of Run-to-Completion Style Statecharts Using Event-B. In Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Cámara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun, editors, Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings. Volume 1269 of Communications in Computer and Information Science, pages 311-325, Springer, 2020. [doi]
Abstract is missing.