Static and runtime verification, competitors or friends?: (Track summary)

Margaria Tiziana (Editor), Dilian Gurov, Klaus Havelund, Steffen Bernhard (Editor), Marieke Huisman, Rosemary Monahan

Abstract

Over the last years, significant progress has been made both on static and runtime program verification techniques, focusing on increasing the quality of software. Within this track, we would like to investigate how we can leverage these techniques by combining them. Questions that will be addressed are for example: what can static verification bring to runtime verification to reduce impact on execution time and memory use, and what can runtime verification bring to static verification to take over where static verification fails to either scale or provide precise results? One can to some extent consider these two views (static verification supporting runtime verification, and runtime verification supporting static verification) as fundamentally representing the same scenario: prove what can be proved statically, and dynamically analyze the rest.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Subtitle of host publication7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationBerlin
PublisherSpringer
Pages397-401
Number of pages5
ISBN (Electronic)978-3-319-47166-2
ISBN (Print)978-3-319-47165-5
DOIs
StatePublished - Oct 2016
Event7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Corfu, Greece

Publication series

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

Conference

Conference7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
Abbreviated titleISoLA 2016
CountryGreece
CityCorfu
Period10/10/1614/10/16
Internet address

Keywords

  • IR-104405
  • EWI-27667

Cite this

Tiziana, M. (Ed.), Gurov, D., Havelund, K., Bernhard, S. (Ed.), Huisman, M., & Monahan, R. (2016). Static and runtime verification, competitors or friends? (Track summary). In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I (pp. 397-401). (Lecture Notes in Computer Science; Vol. 9952). Berlin: Springer. DOI: 10.1007/978-3-319-47166-2_27

Tiziana, Margaria (Editor); Gurov, Dilian; Havelund, Klaus; Bernhard, Steffen (Editor); Huisman, Marieke; Monahan, Rosemary / Static and runtime verification, competitors or friends? : (Track summary).

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. ed. / Tiziana Margaria; Bernhard Steffen. Berlin : Springer, 2016. p. 397-401 (Lecture Notes in Computer Science; Vol. 9952).

Research output: ScientificConference contribution

@inbook{a5455725a6ef46e3a68c9d5a17d4a636,
title = "Static and runtime verification, competitors or friends?: (Track summary)",
abstract = "Over the last years, significant progress has been made both on static and runtime program verification techniques, focusing on increasing the quality of software. Within this track, we would like to investigate how we can leverage these techniques by combining them. Questions that will be addressed are for example: what can static verification bring to runtime verification to reduce impact on execution time and memory use, and what can runtime verification bring to static verification to take over where static verification fails to either scale or provide precise results? One can to some extent consider these two views (static verification supporting runtime verification, and runtime verification supporting static verification) as fundamentally representing the same scenario: prove what can be proved statically, and dynamically analyze the rest.",
keywords = "IR-104405, EWI-27667",
author = "Margaria Tiziana and Dilian Gurov and Klaus Havelund and Steffen Bernhard and Marieke Huisman and Rosemary Monahan",
year = "2016",
month = "10",
doi = "10.1007/978-3-319-47166-2_27",
isbn = "978-3-319-47165-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "397--401",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques",

}

Tiziana, M (ed.), Gurov, D, Havelund, K, Bernhard, S (ed.), Huisman, M & Monahan, R 2016, Static and runtime verification, competitors or friends?: (Track summary). in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, vol. 9952, Springer, Berlin, pp. 397-401, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10-14 October. DOI: 10.1007/978-3-319-47166-2_27

Static and runtime verification, competitors or friends? : (Track summary). / Tiziana, Margaria (Editor); Gurov, Dilian; Havelund, Klaus; Bernhard, Steffen (Editor); Huisman, Marieke; Monahan, Rosemary.

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. ed. / Tiziana Margaria; Bernhard Steffen. Berlin : Springer, 2016. p. 397-401 (Lecture Notes in Computer Science; Vol. 9952).

Research output: ScientificConference contribution

TY - CHAP

T1 - Static and runtime verification, competitors or friends?

T2 - (Track summary)

AU - Gurov,Dilian

AU - Havelund,Klaus

AU - Huisman,Marieke

AU - Monahan,Rosemary

A2 - Bernhard,Steffen

PY - 2016/10

Y1 - 2016/10

N2 - Over the last years, significant progress has been made both on static and runtime program verification techniques, focusing on increasing the quality of software. Within this track, we would like to investigate how we can leverage these techniques by combining them. Questions that will be addressed are for example: what can static verification bring to runtime verification to reduce impact on execution time and memory use, and what can runtime verification bring to static verification to take over where static verification fails to either scale or provide precise results? One can to some extent consider these two views (static verification supporting runtime verification, and runtime verification supporting static verification) as fundamentally representing the same scenario: prove what can be proved statically, and dynamically analyze the rest.

AB - Over the last years, significant progress has been made both on static and runtime program verification techniques, focusing on increasing the quality of software. Within this track, we would like to investigate how we can leverage these techniques by combining them. Questions that will be addressed are for example: what can static verification bring to runtime verification to reduce impact on execution time and memory use, and what can runtime verification bring to static verification to take over where static verification fails to either scale or provide precise results? One can to some extent consider these two views (static verification supporting runtime verification, and runtime verification supporting static verification) as fundamentally representing the same scenario: prove what can be proved statically, and dynamically analyze the rest.

KW - IR-104405

KW - EWI-27667

U2 - 10.1007/978-3-319-47166-2_27

DO - 10.1007/978-3-319-47166-2_27

M3 - Conference contribution

SN - 978-3-319-47165-5

T3 - Lecture Notes in Computer Science

SP - 397

EP - 401

BT - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

PB - Springer

ER -

Tiziana M, (ed.), Gurov D, Havelund K, Bernhard S, (ed.), Huisman M, Monahan R. Static and runtime verification, competitors or friends?: (Track summary). In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Berlin: Springer. 2016. p. 397-401. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-319-47166-2_27