Spin Model Checker.
extraordinariamente difíciles de identificar con las técnicas estándar de pruebas del sistema.%% Para probar una pieza de código,se debe usar técnicas de prueba de sistema estándar. Para probar un fragmento de código, debería ser posible administrar una serie de pruebas reproducibles y evaluar los