Spin Model Checker.
de procesos de ejecución asíncrona, pueden afectar fácilmente el resultado de una prueba. %%Incluso si el probador pudiera saber exactamente cómo se tuvieron que intercalar las ejecuciones del proceso a tiempo para reproducir un escenario de error, en general no es posible hacer cumplir dicho