We introduce a generic component-based design of a run-time checker, identify its components and their requirements, and evaluate existing state of the art tools instantiating each component.
Components, Run-Time Verification, Attribute Grammars, Histories, Traces
Software/Program Verification (acm D.2.4)
Software (theme 1)
Springer
Unspecified
Lecture Notes in Computer Science
Highly Adaptable and Trustworthy Software using Forma Methods
International Symposium on Formal Aspects of Component Software
Computer Security

de Gouw, C.P.T, & de Boer, F.S. (2013). Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. In Formal Aspects of Component Software 2012, 9th International Symposium (pp. 128–133). Springer.