Para aumentar la probabilidad de éxito de un proyecto de software es fundamental partir de buenas especificaciones de requisitos, pues defectos en ellas se trasladan a subsiguientes modelos y componentes de software. Es por ello que deben realizarse verificaciones tempranas de los modelos que se construyen en el proceso de requisitos. La mayoría de las técnicas de verificación apuntan a detectar defectos del tipo hechos incorrectos, inconsistencias y en menor medida omisiones. Frecuentemente, los modelos en la Ingeniería de Requisitos suelen escribirse en lenguaje natural, lo que propende también a la aparición de ambigüedades. Se presenta una propuesta preliminar de verificación de un modelo léxico utilizando mapas conceptuales, centrada en detectar principalmente omisiones y ambigüedades, y en formular correcciones a las mismas. Esta propuesta fue aplicada a un caso real, donde se comprobó la detección de un número razonable de defectos.