Principios del comprobador de modelos de giro

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

Principles of the Spin Model Checker

Contenido del libro:

Principios de Spin es un libro introductorio, el único requisito es tener conocimientos de programación.

Los modelos de Spin están escritos en el lenguaje Promela, fácil de aprender para estudiantes y programadores. Spin es fácil de instalar y utilizar.

El verificador de modelos Spin no sólo es una herramienta profesional ampliamente utilizada, sino que también es una herramienta magnífica para enseñar conceptos importantes de la informática, como la verificación, la concurrencia y el no determinismo. El libro presenta software basado en Spin que el autor ha desarrollado para la enseñanza: jSpin - un entorno de desarrollo integrado para Spin. SpinSpider - utiliza la salida de Spin para construir automáticamente diagramas de estado de programas concurrentes.

VN es una herramienta para visualizar el no determinismo. Los programas completos demostrarán cada construcción y concepto y estos programas estarán disponibles en un sitio web complementario.