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

Frank S. de Boer; Stijn de Gouw

doi:10.1007/978-3-642-35861-6_8

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 proceeding › Conference Article in proceeding › Academic › peer-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 language	English
Title of host publication	Formal Aspects of Component Software
Subtitle of host publication	9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Editors	Corina S. Păsăreanu , Gwen Salaün
Publisher	Springer
Pages	128-133
Number of pages	6
ISBN (Electronic)	978-3-642-35861-6
ISBN (Print)	978-3-642-35860-9
DOIs	https://doi.org/10.1007/978-3-642-35861-6_8
Publication status	Published - 2012
Externally published	Yes
Event	Formal Aspects of Computer Science FACS 2012 - Mountain View, United States Duration: 12 Sept 2012 → 14 Sept 2012 http://facs2017.di.uminho.pt/previous

Publication series

Series	Lecture Notes in Computer Science
Volume	7684
ISSN	0302-9743

Conference

Conference	Formal Aspects of Computer Science FACS 2012
Abbreviated title	FACS 2012
Country/Territory	United States
City	Mountain View
Period	12/09/12 → 14/09/12
Internet address	http://facs2017.di.uminho.pt/previous

Access to Document

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

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. 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, Vol. 7684).

@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{\u a}s{\u a}reanu\} and \{Gwen Sala{\"u}n\}",

booktitle = "Formal Aspects of Component Software",

address = "United States",

note = "Formal Aspects of Computer Science FACS 2012, FACS 2012 ; Conference date: 12-09-2012 Through 14-09-2012",

url = "http://facs2017.di.uminho.pt/previous",

}

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. Springer, Lecture Notes in Computer Science, vol. 7684, pp. 128-133, Formal Aspects of Computer Science FACS 2012, Mountain View, California, 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 proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

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

T2 - Formal Aspects of Computer Science FACS 2012

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

Y2 - 12 September 2012 through 14 September 2012

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, Vol. 7684). doi: 10.1007/978-3-642-35861-6_8

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this