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 | |
Publication status | E-pub ahead of print/First online - 29 Oct 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 |
Keywords
- 22/2 OA procedure