24 Challenges in Deductive Software Verification

Reiner Hähnle, Marieke Huisman

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    51 Downloads (Pure)

    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.
    Original 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
    PublisherEasyChair
    Pages37-41
    Number of pages5
    Publication statusPublished - 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). EasyChair.
    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. EasyChair, 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",
    address = "United Kingdom",

    }

    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, EasyChair, 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. EasyChair, 2017. p. 37-41 (EPiC Series in Computing; Vol. 51).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    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

    A2 - Reger, Giles

    A2 - Traytel, Dmitriy

    PB - EasyChair

    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. EasyChair. 2017. p. 37-41. (EPiC Series in Computing).