Abstract
In this paper and its accompanying tutorial, we discuss the topic of runtime verification for linear-time temporal logic specifications. We recall the idea of runtime verification, give ideas about specification languages for runtime verification and develop a solid theory for linear-time temporal logic. Concepts like monitors, impartiality, and anticipation are explained based on this logic.
Original language | English |
---|---|
Title of host publication | SETSS 2016: Engineering Trustworthy Software Systems |
Editors | Jonathan P. Bowen, Zhiming Liu, Zili Zhang |
Number of pages | 44 |
Volume | 10215 LNCS |
Publisher | Springer, Cham |
Publication date | 06.04.2017 |
Pages | 151-194 |
ISBN (Print) | 978-3-319-56840-9 |
ISBN (Electronic) | 978-3-319-56841-6 |
DOIs | |
Publication status | Published - 06.04.2017 |
Event | 2nd International School on Engineering Trustworthy Software Systems - Chongqing, China Duration: 28.03.2016 → 02.04.2016 Conference number: 191419 |