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

Marieke Huisman, Cristina Seceleanu

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 languageEnglish
Title of host publicationLeveraging 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
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer Singapore
Pages421-425
Number of pages5
ISBN (Electronic)978-3-030-61362-4
ISBN (Print)978-3-030-61361-7
DOIs
Publication statusPublished - 2020
Event9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020 - Virtual Event
Duration: 20 Oct 202030 Oct 2020
Conference number: 9

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume12476

Conference

Conference9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020
Abbreviated titleISoLA 2020
CityVirtual Event
Period20/10/2030/10/20

Fingerprint Dive into the research topics of 'Verification and Validation of Concurrent and Distributed Systems (Track Summary)'. Together they form a unique fingerprint.

Cite this