Towards Reliable Concurrent Software

Marieke Huisman, Sebastiaan J. C. Joosten

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

    1 Citation (Scopus)
    314 Downloads (Pure)


    As the use of concurrent software is increasing, we urgently need techniques to establish the correctness of such applications. Over the last years, significant progress has been made in the area of software verification, making verification techniques usable for realistic applications. However, much of this work concentrates on sequential software, and a next step is necessary to apply these results also on realistic concurrent software. In this paper, we outline a research agenda to realise this goal. We argue that current techniques for verification of concurrent software need to be further developed in multiple directions: extending the class of properties that can be established, improving the level of automation that is available for this kind of verification, and enlarging the class of concurrent programs that can be verified.
    Original languageEnglish
    Title of host publicationPrincipled Software Development
    Subtitle of host publicationEssays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
    EditorsPeter Müller, Ina Schaefer
    Place of PublicationCham
    Number of pages18
    ISBN (Electronic)978-3-319-98047-8
    ISBN (Print)978-3-319-98046-1
    Publication statusPublished - 2018

    Publication series

    NamePrincipled Software Development


    Dive into the research topics of 'Towards Reliable Concurrent Software'. Together they form a unique fingerprint.

    Cite this