Principles of the Spin Model Checker
Por: Ben-Ari, Mordechai.
Colaborador(es): Holzmann, Gerard J [Prefacio].
Tipo de material: LibroProductor: USA : Springer, 2008Descripción: xv, 216 páginas : gráficos ; 24 cm.Idioma: InglésISBN: 9781846287695; 9781846287701.Materia(s): Spin Model Checker (Software) | Lenguajes de programación (Computadores electrónicos) | Simulación por computadoresClasificación CDD: 005 Recursos en línea: Reseña | Principles of the Spin Model CheckerItem type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libro - Material General | Biblioteca Campus Palmas General | General | 005.14/B456/Ejemplar 2 (Browse shelf) | Ejemplar 2 | Available (Sin Restricciones) | 0044673 | |
Libro - Material General | Biblioteca Campus Palmas General | General | 005.14/B456/Ejemplar 1 (Browse shelf) | Ejemplar 1 | Available (Sin Restricciones) | 0018506 |
Browsing Biblioteca Campus Palmas shelves, Shelving location: General, Collection: General Close shelf browser
005.133/T287 Aprenda ya Microsoft Visual C++ .Net | 005.133/Z36/Ejemplar 1 Microsoft Visual C++ 6.0 : | 005.133/Z36/Ejemplar 2 Microsoft Visual C++ 6.0 : | 005.14/B456/Ejemplar 1 Principles of the Spin Model Checker | 005.14/B456/Ejemplar 2 Principles of the Spin Model Checker | 005.14/K797 Software testing : | 005.16/P583 Mantenimiento del software : |
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
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)
There are no comments on this title.