Spin Model Checker.
tradicionales para probar sistemas de software centran su energía en la descripción del sistema en el nivel más bajo de detalle, donde los errores de diseño de nivel más alto son los más difíciles de encontrar y los más costosos de solucionar. Mediante el uso de modelos de verificación, podremos