Spin Model Checker.
encontramos en muchos aspectos de la vida, y no sólo en el diseño de software, ya que como humanos compartimos muchos recursos consumibles o no consumibles. Y cada conjunto de reglas no probadas adecuadamente, podrían desencadenar problemas inesperados. Bloqueo Circular Un ejemplo de esto, son las