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.
Additional Metadata
Keywords Components, Run-Time Verification, Attribute Grammars, Histories, Traces
ACM Software/Program Verification (acm D.2.4)
THEME Software (theme 1)
Publisher Springer
Stakeholder Unspecified
Series Lecture Notes in Computer Science
Project Highly Adaptable and Trustworthy Software using Forma Methods
Conference International Symposium on Formal Aspects of Component Software
Citation
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.