Towards Reliable Concurrent Software

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

14 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

Automation

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
Huisman, Marieke ; Joosten, Sebastiaan J. C. / Towards Reliable Concurrent Software. Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. editor / Peter Müller ; Ina Schaefer. Cham : Springer, 2018. pp. 129-146 (Principled Software Development).
@inproceedings{6e2c8574fdd54af8943131d9c2b333c7,
title = "Towards Reliable Concurrent Software",
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.",
author = "Marieke Huisman and Joosten, {Sebastiaan J. C.}",
year = "2018",
doi = "10.1007/978-3-319-98047-8_9",
language = "English",
isbn = "978-3-319-98046-1",
series = "Principled Software Development",
publisher = "Springer",
pages = "129--146",
editor = "Peter M{\"u}ller and Ina Schaefer",
booktitle = "Principled Software Development",

}

Huisman, M & Joosten, SJC 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. Principled Software Development, Springer, Cham, pp. 129-146. https://doi.org/10.1007/978-3-319-98047-8_9

Towards Reliable Concurrent Software. / Huisman, Marieke; Joosten, Sebastiaan J. C.

Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. ed. / Peter Müller; Ina Schaefer. Cham : Springer, 2018. p. 129-146 (Principled Software Development).

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

TY - GEN

T1 - Towards Reliable Concurrent Software

AU - Huisman, Marieke

AU - Joosten, Sebastiaan J. C.

PY - 2018

Y1 - 2018

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

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

U2 - 10.1007/978-3-319-98047-8_9

DO - 10.1007/978-3-319-98047-8_9

M3 - Conference contribution

SN - 978-3-319-98046-1

T3 - Principled Software Development

SP - 129

EP - 146

BT - Principled Software Development

A2 - Müller, Peter

A2 - Schaefer, Ina

PB - Springer

CY - Cham

ER -

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