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

Marieke Huisman, Cristina Seceleanu*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

25 Downloads (Pure)

Abstract

A major trend in computing during the last decade has been the ubiquity of distributed, heterogeneous systems that make use of multi-languages for implementation, or services delivered by IoT devices. Since all distributed systems must, by their very nature, make use of some form of concurrent programming, the latter becomes even more challenging than traditionally, with the increase of hardware concurrency and sources of heterogeneity. In this context, developing reliable, safe and secure distributed systems, without sacrificing performance, is notoriously difficult. This requires novel models, logical notations, and verification techniques, or extensions, improvements and combinations of existing ones, to capture the behavior of such systems and provide guarantees that they meet various specific requirements. The track on Verification and Validation of Concurrent and Distributed Heterogeneous Systems aims to present and discuss advances of formal methods applicable to the assurance of different kinds of heterogeneous systems, as well as new insights provided by validating the methods on real-world case studies.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer
Pages417-421
Number of pages5
ISBN (Print)9783031198489
DOIs
Publication statusPublished - 17 Oct 2022
Event11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece
Duration: 22 Oct 202230 Oct 2022
Conference number: 11

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13701 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Abbreviated titleISoLA 2022
Country/TerritoryGreece
CityRhodes
Period22/10/2230/10/22

Keywords

  • 22/4 OA procedure

Fingerprint

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

Cite this