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.
, , , ,
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.