Verification and Validation of Concurrent and Distributed Systems (Track Summary)

Marieke Huisman; Cristina Seceleanu

doi:10.1007/978-3-030-61362-4_24

Verification and Validation of Concurrent and Distributed Systems (Track Summary)

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

Abstract

Usually, greater concurrency is the goal of any distributed system, yet distribution also introduces issues of consistency and separate failure domains. With the increase of device connectivity and virtualization techniques, developing correct and reliable concurrent and distributed systems characterized by high performance is notoriously difficult. This requires novel verification techniques, or extensions, adaptations and improvements of existing ones, to address emergent problems. The track on Verification and Validation of Concurrent and Distributed Systems aims to discuss key challenges that need to be tackled in order to enable the efficient and scalable assurance of modern concurrent and distributed systems, as well as present methods and tools that bear the promise to achieve the latter.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer
Pages	421-425
Number of pages	5
ISBN (Electronic)	978-3-030-61362-4
ISBN (Print)	978-3-030-61361-7
DOIs	https://doi.org/10.1007/978-3-030-61362-4_24
Publication status	Published - 2020
Event	9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020 - Virtual Event Duration: 20 Oct 2020 → 30 Oct 2020 Conference number: 9

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	12476

Conference

Conference	9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020
Abbreviated title	ISoLA 2020
City	Virtual Event
Period	20/10/20 → 30/10/20

Access to Document

10.1007/978-3-030-61362-4_24

Cite this

Huisman, M., & Seceleanu, C. (2020). Verification and Validation of Concurrent and Distributed Systems (Track Summary). In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I (pp. 421-425). (Lecture Notes in Computer Science; Vol. 12476). Springer. https://doi.org/10.1007/978-3-030-61362-4_24

Huisman, Marieke ; Seceleanu, Cristina. / Verification and Validation of Concurrent and Distributed Systems (Track Summary). Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. editor / Tiziana Margaria ; Bernhard Steffen. Springer, 2020. pp. 421-425 (Lecture Notes in Computer Science).

@inproceedings{8ddbbdbc353e4e209075577edcfc6a5e,

title = "Verification and Validation of Concurrent and Distributed Systems (Track Summary)",

abstract = "Usually, greater concurrency is the goal of any distributed system, yet distribution also introduces issues of consistency and separate failure domains. With the increase of device connectivity and virtualization techniques, developing correct and reliable concurrent and distributed systems characterized by high performance is notoriously difficult. This requires novel verification techniques, or extensions, adaptations and improvements of existing ones, to address emergent problems. The track on Verification and Validation of Concurrent and Distributed Systems aims to discuss key challenges that need to be tackled in order to enable the efficient and scalable assurance of modern concurrent and distributed systems, as well as present methods and tools that bear the promise to achieve the latter.",

author = "Marieke Huisman and Cristina Seceleanu",

year = "2020",

doi = "10.1007/978-3-030-61362-4_24",

language = "English",

isbn = "978-3-030-61361-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "421--425",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I",

address = "Netherlands",

note = "9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, ISoLA 2020 ; Conference date: 20-10-2020 Through 30-10-2020",

}

Huisman, M & Seceleanu, C 2020, Verification and Validation of Concurrent and Distributed Systems (Track Summary). in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. Lecture Notes in Computer Science, vol. 12476, Springer, pp. 421-425, 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Virtual Event, 20/10/20. https://doi.org/10.1007/978-3-030-61362-4_24

Verification and Validation of Concurrent and Distributed Systems (Track Summary). / Huisman, Marieke; Seceleanu, Cristina.

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2020. p. 421-425 (Lecture Notes in Computer Science; Vol. 12476).

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

TY - GEN

T1 - Verification and Validation of Concurrent and Distributed Systems (Track Summary)

AU - Huisman, Marieke

AU - Seceleanu, Cristina

N1 - Conference code: 9

PY - 2020

Y1 - 2020

N2 - Usually, greater concurrency is the goal of any distributed system, yet distribution also introduces issues of consistency and separate failure domains. With the increase of device connectivity and virtualization techniques, developing correct and reliable concurrent and distributed systems characterized by high performance is notoriously difficult. This requires novel verification techniques, or extensions, adaptations and improvements of existing ones, to address emergent problems. The track on Verification and Validation of Concurrent and Distributed Systems aims to discuss key challenges that need to be tackled in order to enable the efficient and scalable assurance of modern concurrent and distributed systems, as well as present methods and tools that bear the promise to achieve the latter.

AB - Usually, greater concurrency is the goal of any distributed system, yet distribution also introduces issues of consistency and separate failure domains. With the increase of device connectivity and virtualization techniques, developing correct and reliable concurrent and distributed systems characterized by high performance is notoriously difficult. This requires novel verification techniques, or extensions, adaptations and improvements of existing ones, to address emergent problems. The track on Verification and Validation of Concurrent and Distributed Systems aims to discuss key challenges that need to be tackled in order to enable the efficient and scalable assurance of modern concurrent and distributed systems, as well as present methods and tools that bear the promise to achieve the latter.

U2 - 10.1007/978-3-030-61362-4_24

DO - 10.1007/978-3-030-61362-4_24

M3 - Conference contribution

SN - 978-3-030-61361-7

T3 - Lecture Notes in Computer Science

SP - 421

EP - 425

BT - Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

T2 - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020

Y2 - 20 October 2020 through 30 October 2020

ER -

Huisman M, Seceleanu C. Verification and Validation of Concurrent and Distributed Systems (Track Summary). In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. Springer. 2020. p. 421-425. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-030-61362-4_24

Verification and Validation of Concurrent and Distributed Systems (Track Summary)

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this