Verificación de SMA

Model checking para SMA

Técnica automática de verificación que explora exhaustivamente el espacio de estados de un SMA para validar propiedades temporales. Particularmente adaptada a sistemas con un número finito de estados y comportamientos deterministas.

← Volver