Runtime Verification

A Hands-On Approach in Java

Häftad, Engelska, 2022

689 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2022-07-13
Mått155 x 235 x 15 mm
Vikt346 g
FormatHäftad
SpråkEngelska
Antal sidor205
FörlagSpringer International Publishing AG
ISBN9783031092664

Tillhör följande kategorier

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

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.

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.