A Broader View on Verification: From Static to Runtime and Back (Track Summary)

Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

6 Downloads (Pure)

Abstract

When seeking to verify a computational system one can either view the system as a static description of possible behaviours or a dynamic collection of observed or actual behaviours. Historically, there have been clear differences between the two approaches in terms of their level of completeness, the associated costs, the kinds of specifications
considered, how and when they are applied, and so on. Recently there has been a concentrated interest in the combination of static and runtime (dynamic) techniques and this track (taking place as part of ISoLA 2018) aims to explore this combination further.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Verification
Subtitle of host publication8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationCham
PublisherSpringer
Pages3-7
Number of pages5
ISBN (Electronic)978-3-030-03421-4
ISBN (Print)978-3-030-03420-7
DOIs
Publication statusPublished - 2018
Event8th International Symposium, ISoLA 2018 - Royal Apollonia Beach Hotel, Limassol, Cyprus
Duration: 5 Nov 20189 Nov 2018
Conference number: 8
http://www.isola-conference.org/isola2018/

Publication series

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

Conference

Conference8th International Symposium, ISoLA 2018
Abbreviated titleISoLA 2018
CountryCyprus
CityLimassol
Period5/11/189/11/18
Internet address

Fingerprint

Costs

Cite this

Ahrendt, W., Huisman, M., Reger, G., & Rozier, K. Y. (2018). A Broader View on Verification: From Static to Runtime and Back (Track Summary). In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (pp. 3-7). (Lecture Notes in Computer Science; No. 11245). Cham: Springer. https://doi.org/10.1007/978-3-030-03421-4_1
Ahrendt, Wolfgang ; Huisman, Marieke ; Reger, Giles ; Rozier, Kristin Yvonne. / A Broader View on Verification : From Static to Runtime and Back (Track Summary). Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. editor / Tiziana Margaria ; Bernhard Steffen. Cham : Springer, 2018. pp. 3-7 (Lecture Notes in Computer Science; 11245).
@inbook{45deb1282d834ba0a995822989004482,
title = "A Broader View on Verification: From Static to Runtime and Back (Track Summary)",
abstract = "When seeking to verify a computational system one can either view the system as a static description of possible behaviours or a dynamic collection of observed or actual behaviours. Historically, there have been clear differences between the two approaches in terms of their level of completeness, the associated costs, the kinds of specificationsconsidered, how and when they are applied, and so on. Recently there has been a concentrated interest in the combination of static and runtime (dynamic) techniques and this track (taking place as part of ISoLA 2018) aims to explore this combination further.",
author = "Wolfgang Ahrendt and Marieke Huisman and Giles Reger and Rozier, {Kristin Yvonne}",
year = "2018",
doi = "10.1007/978-3-030-03421-4_1",
language = "English",
isbn = "978-3-030-03420-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "11245",
pages = "3--7",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Verification",

}

Ahrendt, W, Huisman, M, Reger, G & Rozier, KY 2018, A Broader View on Verification: From Static to Runtime and Back (Track Summary). in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Lecture Notes in Computer Science, no. 11245, Springer, Cham, pp. 3-7, 8th International Symposium, ISoLA 2018, Limassol, Cyprus, 5/11/18. https://doi.org/10.1007/978-3-030-03421-4_1

A Broader View on Verification : From Static to Runtime and Back (Track Summary). / Ahrendt, Wolfgang; Huisman, Marieke; Reger, Giles; Rozier, Kristin Yvonne.

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. ed. / Tiziana Margaria; Bernhard Steffen. Cham : Springer, 2018. p. 3-7 (Lecture Notes in Computer Science; No. 11245).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

T1 - A Broader View on Verification

T2 - From Static to Runtime and Back (Track Summary)

AU - Ahrendt, Wolfgang

AU - Huisman, Marieke

AU - Reger, Giles

AU - Rozier, Kristin Yvonne

PY - 2018

Y1 - 2018

N2 - When seeking to verify a computational system one can either view the system as a static description of possible behaviours or a dynamic collection of observed or actual behaviours. Historically, there have been clear differences between the two approaches in terms of their level of completeness, the associated costs, the kinds of specificationsconsidered, how and when they are applied, and so on. Recently there has been a concentrated interest in the combination of static and runtime (dynamic) techniques and this track (taking place as part of ISoLA 2018) aims to explore this combination further.

AB - When seeking to verify a computational system one can either view the system as a static description of possible behaviours or a dynamic collection of observed or actual behaviours. Historically, there have been clear differences between the two approaches in terms of their level of completeness, the associated costs, the kinds of specificationsconsidered, how and when they are applied, and so on. Recently there has been a concentrated interest in the combination of static and runtime (dynamic) techniques and this track (taking place as part of ISoLA 2018) aims to explore this combination further.

U2 - 10.1007/978-3-030-03421-4_1

DO - 10.1007/978-3-030-03421-4_1

M3 - Chapter

SN - 978-3-030-03420-7

T3 - Lecture Notes in Computer Science

SP - 3

EP - 7

BT - Leveraging Applications of Formal Methods, Verification and Validation. Verification

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

CY - Cham

ER -

Ahrendt W, Huisman M, Reger G, Rozier KY. A Broader View on Verification: From Static to Runtime and Back (Track Summary). In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Cham: Springer. 2018. p. 3-7. (Lecture Notes in Computer Science; 11245). https://doi.org/10.1007/978-3-030-03421-4_1