Introduction to Runtime Verification
Introduction to Runtime Verification
E. Bartocci,Yliès Falcone,Adrian Francalanza,Giles Reger
2018 · DOI: 10.1007/978-3-319-75632-5_1
引用 224 次
TLDR
The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification, providing an overview of the main specification languages used for RV and introducing the standard terminology necessary to describe the monitoring problem.