TY  - BOOK
AU  - Ben-Ari,Mordechai
AU  - Holzmann,Gerard J.
TI  - Principles of the Spin Model Checker
SN  - 9781846287695
U1  - 005 20
PY  - 2008///
CY  - USA
PB  - Springer
KW  - Spin Model Checker (Software)
KW  - LEMB
KW  - Lenguajes de programación (Computadores electrónicos)
KW  - Simulación por computadores
N1  - 1. Programación secuencial en PROMELA 

; 2. Verificación de programas secuenciales
; 3. Concurrencia
; 4. Sincronización
; 5. Verificación con lógica temporal
; 6. Datos y estructuras de programación
; 7. Canales
; 8. No determinista
; 9. Temas avanzados en PROMELA
; 10. Temas avanzados en SPIN
; 11. Casos de estudio
; 12. Herramientas de software

N2  - El Spin Model Checker es un software profesional extensamente usado para especificación y verificación de sistemas concurrentes y distribuidos. Modelos, escritos en un lenguaje simple llamado Promela, pueden ser simulados aleatoriamente o interactivamente. Spin puede generar verificadores eficientes que busquen un contraejemplo para las especificaciones de corrección aplicadas a un modelo. Spin es también es una herramienta importante para enseñar conceptos importantes de la ciencia de los computadores, tales como verificación, concurrencia y no determinismo […]; (Resumen tomado del libro el 04/0/2017)
UR  - http://www.springer.com/cn/book/9781846287695
ER  -