Verificación de SMA

Verificación de seguridad

Validación de que un SMA nunca alcanzará estados peligrosos o indeseables durante su ejecución. Las propiedades de seguridad incluyen la ausencia de interbloqueos y el cumplimiento de las restricciones de seguridad.

← Volver