enumeración del espacio de estados

En informática , la enumeración del espacio de estados son métodos que consideran cada estado alcanzable del programa para determinar si este satisface una propiedad dada. ^{[ 1 ]} A medida que los programas aumentan en tamaño y complejidad, el espacio de estados crece exponencialmente. El espacio de estados utilizado por estos métodos puede reducirse manteniendo solo las partes relevantes para el análisis. Sin embargo, el uso de técnicas de reducción de estado y memoria convierte el tiempo de ejecución en un factor limitante importante. ^{[ 2 ]}

• Métodos formales
• Verificación de modelos