2013
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development
Publication
Publication
Presented at the
International Symposium on Formal Aspects of Component Software, Mountain View
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 | |
|---|---|
| , , , , | |
| Unspecified | |
| Springer | |
| Lecture Notes in Computer Science | |
| Highly Adaptable and Trustworthy Software using Forma Methods | |
| International Symposium on Formal Aspects of Component Software | |
| Organisation | Computer Security |
|
de Gouw, S., & de Boer, F. (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. |
|
