Runtime Verification

A Hands-On Approach in Java

Häftad, Engelska, 2022

536 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2022-07-13
Mått:155 x 235 x 15 mm
Vikt:346 g
Format:Häftad
Språk:Engelska
Antal sidor:205
Förlag:Springer International Publishing AG
ISBN:9783031092664

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik

Mer om författaren

Gordon J. Pace is a Professor of Computer Science at the University of Malta. His research has focussed on software and hardware verification since the 1990s, and in particular on runtime verification for over 15 years. He was involved in various projects exploring the introduction of the use of runtime verification in the industry, and has delivered various courses aimed at undergraduates, graduate students and professionals on the topic.Christian Colombo is a Senior Lecturer of Computer Science at the University of Malta. He has been developing runtime verification tools since 2008 while overseeing their deployment to industrial financial transaction systems. He has designed and delivered courses on software verification including two schools organised by the runtime verification community. For the past three years, he has been focusing on how techniques from runtime verification can be applied to the area of cyber security.

Innehållsförteckning

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.