Spin Model Checker.
pueden aparecer en casi todos lados. Puede ser extraordinariamente difícil predecir por adelantado dónde se pueden esconder los problemas en los diversos esquemas. Incluso las reglas más obvias pueden tener consecuencias inesperadas. Para encontrar estos problemas nunca es suficiente separar un