Spin Model Checker.
cronograma en una prueba del sistema. La observabilidad limitada y la capacidad de control limitada normalmente restringen la capacidad de un examinador para ejercitar a fondo los comportamientos simultáneos del sistema. Como resultado, algunos de los errores más difíciles de diagnosticar pueden