La Gestión de Procesos de Negocio (Business Process Management, BPM) es un enfoque sistemático para identificar, documentar, diseñar, ejecutar, medir y controlar los procesos que realiza una organización, con la finalidad de lograr los objetivos de negocio que se encuentran alineados con su estrategia de negocio. Se comienza con una primera fase de identificación de los Procesos (Análisis y Diseño), usualmente utilizando el lenguaje de modelado estándar BPMN (Business Process Management Notation). Esta descripción es utilizada en una fase posterior (Configuración) para el desarrollo de una solución informática que dé soporte a dichos procesos. En ambas se realizan actividades de verificación. Es importante poder determinar de forma anticipada si un proceso se va a comportar de forma deseable. Otras propiedades no pueden ser verificadas de forma anticipada y son evaluadas simulando la ejecución del modelo. En este proyecto se realizó una revisión sistemática de la literatura sobre verificación de Procesos de Negocio. Como principal aporte, se brinda una clasificación de elementos existentes discriminada por distintas categorías de interés, que muestra qué se puede verificar y cómo verificar distintos aspectos. Como prueba de concepto se realizó un prototipo de un entorno integrado de verificación, que incluye herramientas de terceros. El prototipo fue utilizado en un Caso de Estudio para demostrar la factibilidad de su uso como soporte para la verificación de distintos elementos de los Procesos de Negocio.