2026-07-26T20:56:33Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9758 2024-03-06T10:26:55Z ddc:004 open_access

Program Equivalence (Dagstuhl Seminar 18151) Lahiri, Shuvendu K. Murawski, Andrzej Strichman, Ofer Ulbrich, Mattias program equivalence regression-verification translation validation Program equivalence is the problem of proving that two programs are equal under some definition of equivalence, e.g., input-output equivalence. The field draws researchers from formal verification, semantics and logics. This report documents the program and the outcomes of Dagstuhl Seminar 18151 "Program Equivalence". The seminar was organized by the four official organizers mentioned above, and Dr. Nikos Tzevelekos from Queen-Mary University in London. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Shuvendu K. Lahiri and Andrzej Murawski and Ofer Strichman and Mattias Ulbrich 2018 Is Part Of Dagstuhl Reports, Volume 8, Issue 4 (2018) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.8.4.1 urn:nbn:de:0030-drops-97586 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.1 eng https://creativecommons.org/licenses/by/3.0/legalcode