Le, L.C. 2020. A Method for Modeling and Verifying of UML 2.0 Sequence Diagrams using SPIN. Journal of Science and Technology on Information security. 1, 9 (Apr. 2020), 20-28. DOI:https://doi.org/10.54654/isj.v9i01.37.