Ben-Ari, Mordechai   1948- <br/><br/>
Principles of the Spin Model Checker 

 - xv, 216 páginas :   gráficos ;  24 cm.  
<br/><br/>1. Programación secuencial en PROMELA <br/><br/> 2. Verificación de programas secuenciales<br/> 3. Concurrencia<br/> 4. Sincronización<br/> 5. Verificación con lógica temporal<br/> 6. Datos y estructuras de programación<br/> 7. Canales<br/> 8. No determinista<br/> 9. Temas avanzados en PROMELA<br/> 10. Temas avanzados en SPIN<br/> 11. Casos de estudio<br/> 12. Herramientas de software<br/> 
<br/><br/> 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) 
<br/><br/><label>ISBN: </label>9781846287695 9781846287701 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Spin Model Checker (Software) <br/>Lenguajes de programación (Computadores electrónicos)<br/>Simulación por computadores
<br/><br/><label>Dewey Class. No.: </label>005  / B456