Towards Reliable Concurrent Software

Marieke Huisman, Sebastiaan J. C. Joosten

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

    32 Downloads (Pure)

    Abstract

    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
    PublisherSpringer
    Pages129-146
    Number of pages18
    ISBN (Electronic)978-3-319-98047-8
    ISBN (Print)978-3-319-98046-1
    DOIs
    Publication statusPublished - 2018

    Publication series

    NamePrincipled Software Development

      Fingerprint

    Cite this

    Huisman, M., & Joosten, S. J. C. (2018). Towards Reliable Concurrent Software. In P. Müller, & I. Schaefer (Eds.), Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday (pp. 129-146). (Principled Software Development). Cham: Springer. https://doi.org/10.1007/978-3-319-98047-8_9