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

NameLecture Notes in Computer Science
PublisherSpringer
Volume7684
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

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

Fingerprint

Specifications

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). (Lecture Notes in Computer Science; Vol. 7684). Springer. https://doi.org/10.1007/978-3-642-35861-6_8
Boer, Frank S. de ; Gouw, Stijn de. / Run-Time Verification of Black-Box Components Using Behavioral Specifications : An Experience Report on Tool Development. Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. editor / Corina S. Păsăreanu ; Gwen Salaün. Springer, 2012. pp. 128-133 (Lecture Notes in Computer Science).
@inproceedings{d701039bb9a04e40a4afb90f71298c64,
title = "Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development",
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.",
author = "Boer, {Frank S. de} and Gouw, {Stijn de}",
year = "2012",
doi = "10.1007/978-3-642-35861-6_8",
language = "English",
isbn = "978-3-642-35860-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "128--133",
editor = "{Corina S. Păsăreanu} and {Gwen Sala{\"u}n}",
booktitle = "Formal Aspects of Component Software",

}

Boer, FSD & Gouw, SD 2012, Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. in CSP & GS (eds), Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Lecture Notes in Computer Science, vol. 7684, Springer, pp. 128-133, Formal Aspects of Computer Science FACS 2012, Mountain View, United States, 12/09/12. https://doi.org/10.1007/978-3-642-35861-6_8

Run-Time Verification of Black-Box Components Using Behavioral Specifications : An Experience Report on Tool Development. / Boer, Frank S. de; Gouw, Stijn de.

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. ed. / Corina S. Păsăreanu; Gwen Salaün. Springer, 2012. p. 128-133 (Lecture Notes in Computer Science; Vol. 7684).

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

TY - GEN

T1 - Run-Time Verification of Black-Box Components Using Behavioral Specifications

T2 - An Experience Report on Tool Development

AU - Boer, Frank S. de

AU - Gouw, Stijn de

PY - 2012

Y1 - 2012

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

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

UR - https://link.springer.com/book/10.1007/978-3-642-35861-6

U2 - 10.1007/978-3-642-35861-6_8

DO - 10.1007/978-3-642-35861-6_8

M3 - Conference article in proceeding

SN - 978-3-642-35860-9

T3 - Lecture Notes in Computer Science

SP - 128

EP - 133

BT - Formal Aspects of Component Software

A2 - , Corina S. Păsăreanu

A2 - , Gwen Salaün

PB - Springer

ER -

Boer FSD, Gouw SD. Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. In CSP, GS, editors, Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Springer. 2012. p. 128-133. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-35861-6_8