Spin Model Checker.
resultados. La palabra clave aquí es reproducible. Muchos aspectos de la ejecución en un sistema concurrente están fuera del control de un probador. Esta falta de capacidad de control hace que sea difícil administrar pruebas de una manera reproducible. Esto se aplica especialmente a los detalles de