2026-08-15T23:25:36Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:25255 2026-02-09T12:32:34Z ddc:004 open_access

Information Exchange in Software Verification (Dagstuhl Seminar 25172) Beyer, Dirk Huisman, Marieke Strejček, Jan Wehrheim, Heike Competitions and Benchmarks Data-Flow Analysis Deductive Verification Formal Verification Model Checking 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dirk Beyer and Marieke Huisman and Jan Strejček and Heike Wehrheim 2025 Is Part Of Dagstuhl Reports, Volume 15, Issue 4 (2025) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.15.4.92 urn:nbn:de:0030-drops-252559 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.4.92 eng https://creativecommons.org/licenses/by/4.0/legalcode