Sharykin, R.E. and Kourbatski, A.N. 2020. Application of formal methods in the design of a collaborative virus defense system. Journal of the Belarusian State University. Mathematics and Informatics. 1 (Mar. 2020), 59–69. DOI:https://doi.org/10.33581/2520-6508-2020-1-59-69.