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

Marieke Huisman; Stephan Merz; Cristina Seceleanu

doi:10.1007/978-3-031-75380-0_15

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

Marieke Huisman, Stephan Merz, Cristina Seceleanu^*

^*Corresponding author for this work

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

2 Downloads (Pure)

Abstract

Given the inherent reliance of distributed systems on concurrent programming, coupled with increased hardware concurrency and diversity, ensuring their reliability, safety, and security without compromising performance has become exceedingly challenging. This necessitates scalable verification methods that can accurately capture the behavior of concurrent and distributed systems while providing robust guarantees of compliance with specific requirements. The Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) track is dedicated to presenting and discussing advancements in formal methods tailored to these systems. Emphasizing scalable techniques and models that have been validated through real-world case studies, the track covers subtopics such as generating correct parallel code, compositional verification with assume-guarantee contracts, enhanced analysis for large-scale systems, and combinations of various analysis techniques, collectively aiming to improve the assurance of diverse and complex distributed computing environments.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer
Pages	269-273
Number of pages	5
ISBN (Print)	9783031753794
DOIs	https://doi.org/10.1007/978-3-031-75380-0_15
Publication status	Published - 30 Oct 2024
Event	12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024 - Crete, Greece Duration: 27 Oct 2024 → 31 Oct 2024 Conference number: 12

Publication series

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

Conference

Conference	12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
Abbreviated title	ISoLA 2024
Country/Territory	Greece
City	Crete
Period	27/10/24 → 31/10/24

Keywords

2025 OA procedure

Access to Document

10.1007/978-3-031-75380-0_15

978-3-031-75380-0_15Final published version, 128 KBLicence: Taverne

Cite this

Huisman, M., Merz, S., & Seceleanu, C. (2024). Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (pp. 269-273). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15221 LNCS). Springer. https://doi.org/10.1007/978-3-031-75380-0_15

Huisman, Marieke ; Merz, Stephan ; Seceleanu, Cristina. / Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer, 2024. pp. 269-273 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7b743c8f05d14e29a9208f0bf7c1752e,

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

abstract = "Given the inherent reliance of distributed systems on concurrent programming, coupled with increased hardware concurrency and diversity, ensuring their reliability, safety, and security without compromising performance has become exceedingly challenging. This necessitates scalable verification methods that can accurately capture the behavior of concurrent and distributed systems while providing robust guarantees of compliance with specific requirements. The Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) track is dedicated to presenting and discussing advancements in formal methods tailored to these systems. Emphasizing scalable techniques and models that have been validated through real-world case studies, the track covers subtopics such as generating correct parallel code, compositional verification with assume-guarantee contracts, enhanced analysis for large-scale systems, and combinations of various analysis techniques, collectively aiming to improve the assurance of diverse and complex distributed computing environments.",

keywords = "2025 OA procedure",

author = "Marieke Huisman and Stephan Merz and Cristina Seceleanu",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.; 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, ISoLA 2024 ; Conference date: 27-10-2024 Through 31-10-2024",

year = "2024",

month = oct,

day = "30",

doi = "10.1007/978-3-031-75380-0\_15",

language = "English",

isbn = "9783031753794",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "269--273",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings",

address = "Germany",

}

Huisman, M, Merz, S & Seceleanu, C 2024, Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15221 LNCS, Springer, pp. 269-273, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, Crete, Greece, 27/10/24. https://doi.org/10.1007/978-3-031-75380-0_15

Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). / Huisman, Marieke; Merz, Stephan; Seceleanu, Cristina.
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2024. p. 269-273 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15221 LNCS).

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

TY - GEN

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

AU - Huisman, Marieke

AU - Merz, Stephan

AU - Seceleanu, Cristina

N1 - Conference code: 12

PY - 2024/10/30

Y1 - 2024/10/30

N2 - Given the inherent reliance of distributed systems on concurrent programming, coupled with increased hardware concurrency and diversity, ensuring their reliability, safety, and security without compromising performance has become exceedingly challenging. This necessitates scalable verification methods that can accurately capture the behavior of concurrent and distributed systems while providing robust guarantees of compliance with specific requirements. The Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) track is dedicated to presenting and discussing advancements in formal methods tailored to these systems. Emphasizing scalable techniques and models that have been validated through real-world case studies, the track covers subtopics such as generating correct parallel code, compositional verification with assume-guarantee contracts, enhanced analysis for large-scale systems, and combinations of various analysis techniques, collectively aiming to improve the assurance of diverse and complex distributed computing environments.

AB - Given the inherent reliance of distributed systems on concurrent programming, coupled with increased hardware concurrency and diversity, ensuring their reliability, safety, and security without compromising performance has become exceedingly challenging. This necessitates scalable verification methods that can accurately capture the behavior of concurrent and distributed systems while providing robust guarantees of compliance with specific requirements. The Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) track is dedicated to presenting and discussing advancements in formal methods tailored to these systems. Emphasizing scalable techniques and models that have been validated through real-world case studies, the track covers subtopics such as generating correct parallel code, compositional verification with assume-guarantee contracts, enhanced analysis for large-scale systems, and combinations of various analysis techniques, collectively aiming to improve the assurance of diverse and complex distributed computing environments.

KW - 2025 OA procedure

UR - http://www.scopus.com/inward/record.url?scp=85208595327&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-75380-0_15

DO - 10.1007/978-3-031-75380-0_15

M3 - Conference contribution

AN - SCOPUS:85208595327

SN - 9783031753794

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 269

EP - 273

BT - Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

T2 - 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

Y2 - 27 October 2024 through 31 October 2024

ER -

Huisman M, Merz S, Seceleanu C. Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. Springer. 2024. p. 269-273. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-75380-0_15