New ESVIT Software for IT Security Policy Verification in Production Systems. - Sergio Mauricio Martínez Monterrubio; Juan Frausto Solís; Juan Antonio Recio-García; Josmell Antonio Chavarri Velasquez (Int. J. Comb. Optim. Probl. Informatics, 2025)