Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

Frank S. de Boer, Stijn de Gouw

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationFormal Aspects of Component Software
Subtitle of host publication9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
EditorsCorina S. Păsăreanu , Gwen Salaün
PublisherSpringer
Pages128-133
Number of pages6
ISBN (Electronic)978-3-642-35861-6
ISBN (Print)978-3-642-35860-9
DOIs
Publication statusPublished - 2012
Externally publishedYes
EventFormal Aspects of Computer Science FACS 2012 - Mountain View, United States
Duration: 12 Sep 201214 Sep 2012
http://facs2017.di.uminho.pt/previous

Publication series

SeriesLecture Notes in Computer Science
Volume7684
ISSN0302-9743

Conference

ConferenceFormal Aspects of Computer Science FACS 2012
Abbreviated titleFACS 2012
CountryUnited States
CityMountain View
Period12/09/1214/09/12
Internet address

    Fingerprint

Cite this

Boer, F. S. D., & Gouw, S. D. (2012). Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. In C. S. P., & G. S. (Eds.), Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers (pp. 128-133). Springer. Lecture Notes in Computer Science, Vol.. 7684 https://doi.org/10.1007/978-3-642-35861-6_8