24 Challenges in Deductive Software Verification

Reiner Hähnle, Marieke Huisman

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

Abstract

Deductive software verification aims at formally verifying that all possible behaviors of a given program satisfy formally defined, complex properties, where the verification process is based on logical inference. We list the most important challenges for the further development of the field.
LanguageEnglish
Title of host publicationARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017
EditorsGiles Reger, Dmitriy Traytel
Pages37-41
Number of pages5
StatePublished - 2017
Event1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements - Gothenburg, Sweden
Duration: 6 Aug 20176 Aug 2017
Conference number: 1

Publication series

NameEPiC Series in Computing
PublisherEasyChair
Volume51

Workshop

Workshop1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Abbreviated titleARCADE 2017
CountrySweden
CityGothenburg
Period6/08/176/08/17

Cite this

Hähnle, R., & Huisman, M. (2017). 24 Challenges in Deductive Software Verification. In G. Reger, & D. Traytel (Eds.), ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017 (pp. 37-41). (EPiC Series in Computing; Vol. 51).
Hähnle, Reiner ; Huisman, Marieke. / 24 Challenges in Deductive Software Verification. ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. editor / Giles Reger ; Dmitriy Traytel. 2017. pp. 37-41 (EPiC Series in Computing).
@inproceedings{0afa388546834ae682f3e4c09fef10e6,
title = "24 Challenges in Deductive Software Verification",
abstract = "Deductive software verification aims at formally verifying that all possible behaviors of a given program satisfy formally defined, complex properties, where the verification process is based on logical inference. We list the most important challenges for the further development of the field.",
author = "Reiner H{\"a}hnle and Marieke Huisman",
year = "2017",
language = "English",
series = "EPiC Series in Computing",
publisher = "EasyChair",
pages = "37--41",
editor = "Giles Reger and Dmitriy Traytel",
booktitle = "ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017",

}

Hähnle, R & Huisman, M 2017, 24 Challenges in Deductive Software Verification. in G Reger & D Traytel (eds), ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. EPiC Series in Computing, vol. 51, pp. 37-41, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6/08/17.

24 Challenges in Deductive Software Verification. / Hähnle, Reiner; Huisman, Marieke.

ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. ed. / Giles Reger; Dmitriy Traytel. 2017. p. 37-41 (EPiC Series in Computing; Vol. 51).

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

TY - GEN

T1 - 24 Challenges in Deductive Software Verification

AU - Hähnle,Reiner

AU - Huisman,Marieke

PY - 2017

Y1 - 2017

N2 - Deductive software verification aims at formally verifying that all possible behaviors of a given program satisfy formally defined, complex properties, where the verification process is based on logical inference. We list the most important challenges for the further development of the field.

AB - Deductive software verification aims at formally verifying that all possible behaviors of a given program satisfy formally defined, complex properties, where the verification process is based on logical inference. We list the most important challenges for the further development of the field.

M3 - Conference contribution

T3 - EPiC Series in Computing

SP - 37

EP - 41

BT - ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017

ER -

Hähnle R, Huisman M. 24 Challenges in Deductive Software Verification. In Reger G, Traytel D, editors, ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. 2017. p. 37-41. (EPiC Series in Computing).