![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 3
Zeitschriftenartikel
Beyer, Dirk 
ORCID: https://orcid.org/0000-0003-4832-7662; Lee, Nian-Ze ORCID: https://orcid.org/0000-0002-8096-5595 und Wendler, Philipp ORCID: https://orcid.org/0000-0002-5139-341X
(2025):
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.
In: Journal of Automated Reasoning, Bd. 69, Nr. 1, 5
[PDF, 981kB]
ORCID: https://orcid.org/0000-0003-4832-7662; Lee, Nian-Ze ORCID: https://orcid.org/0000-0002-8096-5595 und Wendler, Philipp ORCID: https://orcid.org/0000-0002-5139-341X
(2025):
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.
In: Journal of Automated Reasoning, Bd. 69, Nr. 1, 5
[PDF, 981kB]
Beyer, Dirk; Loewe, Stefan und Wendler, Philipp
(2019):
Reliable benchmarking: requirements and solutions.
In: International Journal on Software Tools for Technology Transfer, Bd. 21, Nr. 1: S. 1-29
Beyer, Dirk; Dangl, Matthias und Wendler, Philipp
(2018):
A Unifying View on SMT-Based Software Verification.
In: Journal of Automated Reasoning, Bd. 60, Nr. 3: S. 299-335