Information Exchange in Software Verification (Dagstuhl Seminar 25172)

Beyer, Dirk; Huisman, Marieke; Strejček, Jan; Wehrheim, Heike

doi:10.4230/DagRep.15.4.92

Document

Information Exchange in Software Verification (Dagstuhl Seminar 25172)

Authors Dirk Beyer , Marieke Huisman , Jan Strejček , Heike Wehrheim and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 15, Issue 4
Part of: Volume: Dagstuhl Reports, Volume 15
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2025-12-15

PDF

File

PDF

DagRep.15.4.92.pdf

Filesize: 2.21 MB
20 pages

Document Identifiers

DOI: 10.4230/DagRep.15.4.92
URN: urn:nbn:de:0030-drops-252559

Subject Classification

ACM Subject Classification

Software and its engineering → Formal methods
Theory of computation → Logic and verification

Keywords

Competitions and Benchmarks
Data-Flow Analysis
Deductive Verification
Formal Verification
Model Checking

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Document

0

Metadata

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 25172 Information Exchange in Software Verification. The term "software verification" refers to the procedure of deciding the correctness of software with respect to (user-supplied or predefined) specifications. In general, software verification is an undecidable problem. Despite this undecidability, software verification is a very active research field with contributions of researchers from several areas such as theorem proving, deductive verification, static analysis, and automatic verification. The analysis techniques developed in these subareas are often complementary with respect to the type of software and specifications they can efficiently handle.
The objective of this Dagstuhl Seminar was to bring together people working in these different subareas to discuss and advance ways of having tools and techniques cooperate on the task of software verification.

Cite As Get BibTex

Dirk Beyer, Marieke Huisman, Jan Strejček, and Heike Wehrheim. Information Exchange in Software Verification (Dagstuhl Seminar 25172). In Dagstuhl Reports, Volume 15, Issue 4, pp. 92-111, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/DagRep.15.4.92

Author Details

Dirk Beyer

LMU Munich, DE

Marieke Huisman

University of Twente - Enschede, NL

Jan Strejček

Masaryk University - Brno, CZ

Heike Wehrheim

Universität Oldenburg, DE

and all authors of the abstracts in this report

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail