Spin Model Checker.
la ejecución del proceso y el entrelazado del proceso que están determinados en parte por los planificadores del proceso, que a menudo se ejecutan en servidores de ejecución independiente. Los detalles del entrelazado del proceso, e incluso cosas tan sutiles como la velocidad relativa de ejecución