ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction.

New technologies such as cloud and multi-core computing, as well as the large number of devices connected to the Internet make concurrency and distribution the main pillars that computerized systems rely on. However, developing consistent concurrent and distributed systems characterized by high performance is notoriously difficult. This in turn makes assuring the correctness of such systems challenging, due to interleavings of actions that may lead to non-deterministic concurrency faults, possible failure of components and processes, but also due to possible resource restrictions and unpredictable latencies in network communication. The track on Verification and Validation of Distributed Systems aims to discuss key challenges that need to be addressed in order to enable the efficient and scalable assurance of distributed systems, as well as present methods and tools that bear the promise to achieve the latter.