Spin Model Checker.
hay un diseñador. Por cada escenario de falla considerado, hay un millón de otros que pueden pasarse por alto. En casos como este, es muy valioso contar con herramientas de diseño que puedan detectar automáticamente los posibles escenarios de error, trabajando a partir de una descripción sobria de