Towards Reliable Concurrent Software

Marieke Huisman; Sebastiaan J. C. Joosten

doi:10.1007/978-3-319-98047-8_9

Towards Reliable Concurrent Software

Marieke Huisman, Sebastiaan J. C. Joosten

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

340 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 language	English
Title of host publication	Principled Software Development
Subtitle of host publication	Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Editors	Peter Müller, Ina Schaefer
Place of Publication	Cham
Publisher	Springer
Pages	129-146
Number of pages	18
ISBN (Electronic)	978-3-319-98047-8
ISBN (Print)	978-3-319-98046-1
DOIs	https://doi.org/10.1007/978-3-319-98047-8_9
Publication status	Published - 2018

Publication series

Name	Principled Software Development

Access to Document

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

Towards reliableFinal published version, 556 KBLicence: Taverne

Cite this

@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",

address = "Germany",

}

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 proceeding › Conference contribution › Academic › peer-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 -

Towards Reliable Concurrent Software

Abstract

Publication series

Access to Document

Fingerprint

Cite this