Research of software verification methods for waste management and review the waste treatment legislation in RussiaKirill Epifancev, Tamara Mishura, Olga Kozlova and Andrei NikulinE3S Web Conf., 220 (2020) 01083DOI: https://doi.org/10.1051/e3sconf/202022001083