Runtime Verification A Hands-On Approach in Java
This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry. It starts with almost no assumptions on the knowledge of the reader and provides exercises throughout the book through...
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
2022, 2022
|
| Edition: | 1st ed. 2022 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 1. The Need for Verification?. - 2. What is Runtime Verification
- 3. FiTS: A Financial Transaction System
- 4. Manual Monitoring
- 5. Aspect-Oriented Programming
- 6. Event Guarded Command Language
- 7. Symbolic Automata
- 8. Regular Expressions
- 9. Linear Temporal Logic
- 10. Monitoring Real-Time Properties
- 11. Reactive Runtime Monitoring
- 12. Offline Runtime Verification
- 13. Other Advanced Topics
- 14. Conclusions