Mattia Merenda
Logo

Saverio Mattia Merenda

Master's Student
University of Parma, Italy

static-analysis  abstract-interpretation  software-verification

Event: Challenges of Software Verification Symposium 2024

Conference participant
Venice, Italy, June 6-7, 2024
Symposium

I participated in the "Challenges of Software Verification" Symposium held on June 6-7, 2024, at Ca’ Foscari University of Venice. The event featured several sessions focusing on theoretical results, practical applications, innovative tools, and their impact on software engineering and DevOps. Selected abstracts were invited for full paper submission to a special issue of the Springer International Journal on Software Tools for Technology Transfer. Previous symposium talks have been published in Springer-Nature journals.
Conference page: Link
Linkedin post: Link

csv2024.jpeg