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 Sept 201214 Sept 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
Country/TerritoryUnited States
CityMountain View
Period12/09/1214/09/12
Internet address

Fingerprint

Dive into the research topics of 'Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development'. Together they form a unique fingerprint.

Cite this