| Número de páginas: |
VII, 233 p. 28 ilustraciones |
| Resumen: |
La idea de este volumen surgió de la necesidad de disponer de un libro para que los estudiantes apoyaran su formación con varios tutoriales sobre diferentes aspectos de la RV. El volumen se ha organizado en siete capÃtulos y los temas cubiertos incluyen una introducción sobre la verificación en tiempo de ejecución, el análisis dinámico de errores de concurrencia, el monitoreo de eventos que transportan datos, la reacción y prevención de errores en tiempo de ejecución, el monitoreo de sistemas ciberfÃsicos, la verificación en tiempo de ejecución para sistemas descentralizados y distribuidos. sistemas y una aplicación industrial de técnicas de verificación en tiempo de ejecución en sistemas de transacciones financieras. |
Lectures on Runtime Verification
