Runtime Verification as Documentation
conference paper
In runtime verification, a monitor is used to return a Boolean verdict on the behavior of a system. We present several exaniples of the use of monitors to instead document system behavior. In doing so, we demonstrate how runtime verification can be combined with techniques from data science to provide novel forms of program analysis.
TNO Identifier
978334
ISBN
978-3-031-19756-7
Publisher
Springer
Source title
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering. ISoLA 2022
Pages
157-173
Files
To receive the publication files, please send an e-mail request to TNO Repository.