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

Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    1 Citation (Scopus)

    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
    Publication statusPublished - Oct 2016
    Event7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Corfu, Greece
    Duration: 10 Oct 201614 Oct 2016
    Conference number: 7
    http://www.isola-conference.org/isola2016/

    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

      Fingerprint

    Keywords

    • IR-104405
    • EWI-27667

    Cite this

    Gurov, D., Havelund, K., 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. https://doi.org/10.1007/978-3-319-47166-2_27