AUNG, May Thu; THANH NGUYEN, Tam Thi; OGATA, Kazuhiro. GUESSING, MODEL CHECKING AND THEOREM PROVING OF STATE MACHINE PROPERTIES – A CASE STUDY ON QLOCK. International Journal of Software Engineering and Computer Systems, [S. l.], v. 4, n. 2, p. 1–18, 2018. DOI: 10.15282/ijsecs.4.2.2018.1.0045. Disponível em: https://journal.ump.edu.my/ijsecs/article/view/191. Acesso em: 15 jun. 2025.