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

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

doi:10.1007/978-3-030-03421-4_1

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 proceeding › Chapter › Academic

1 Citation (Scopus)

109 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 language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Verification
Subtitle of host publication	8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Editors	Tiziana Margaria, Bernhard Steffen
Place of Publication	Cham
Publisher	Springer
Pages	3-7
Number of pages	5
ISBN (Electronic)	978-3-030-03421-4
ISBN (Print)	978-3-030-03420-7
DOIs	https://doi.org/10.1007/978-3-030-03421-4_1
Publication status	Published - 2018
Event	8th International Symposium, ISoLA 2018 - Royal Apollonia Beach Hotel, Limassol, Cyprus Duration: 5 Nov 2018 → 9 Nov 2018 Conference number: 8 http://www.isola-conference.org/isola2018/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Number	11245
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Symposium, ISoLA 2018
Abbreviated title	ISoLA 2018
Country/Territory	Cyprus
City	Limassol
Period	5/11/18 → 9/11/18
Internet address	http://www.isola-conference.org/isola2018/

Access to Document

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

Ahrendt2018_Chapter_ABroaderViewOnVerificationFromFinal published version, 179 KBLicence: Taverne

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). Springer. https://doi.org/10.1007/978-3-030-03421-4_1

Ahrendt, Wolfgang ; Huisman, Marieke ; Reger, Giles et al. / 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",

note = "8th International Symposium, ISoLA 2018, ISoLA 2018 ; Conference date: 05-11-2018 Through 09-11-2018",

url = "http://www.isola-conference.org/isola2018/",

}

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 et al.

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 proceeding › Chapter › Academic

TY - CHAP

T1 - A Broader View on Verification

T2 - 8th International Symposium, ISoLA 2018

AU - Ahrendt, Wolfgang

AU - Huisman, Marieke

AU - Reger, Giles

AU - Rozier, Kristin Yvonne

N1 - Conference code: 8

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

Y2 - 5 November 2018 through 9 November 2018

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). Epub 2018 Oct 30. doi: 10.1007/978-3-030-03421-4_1