Seol É Seo mar Theachtaireacht Téacs: Método para verificação automatizada de requisitos em empreendimentos Habitacionais de Interesse Social