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 language | English |
---|---|
Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques |
Subtitle of host publication | 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I |
Editors | Tiziana Margaria, Bernhard Steffen |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 397-401 |
Number of pages | 5 |
ISBN (Electronic) | 978-3-319-47166-2 |
ISBN (Print) | 978-3-319-47165-5 |
DOIs | |
Publication status | Published - Oct 2016 |
Event | 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Corfu, Greece Duration: 10 Oct 2016 → 14 Oct 2016 Conference number: 7 http://www.isola-conference.org/isola2016/ |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 9952 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 |
---|---|
Abbreviated title | ISoLA 2016 |
Country/Territory | Greece |
City | Corfu |
Period | 10/10/16 → 14/10/16 |
Internet address |
Keywords
- IR-104405
- EWI-27667