24 Challenges in Deductive Software Verification

Reiner Hähnle, Marieke Huisman

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

    56 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.