![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 2
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]
Konferenzbeitrag
Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662; Chien, Po-Chun und Lee, Nian-Ze
(2023):
CPA-DF. A Tool for Configurable Interval Analysis to Boost Program Verification.
38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Echternach, Luxembourg, 11. - 15. September 2023.
Bissyandé, Tegawendé F. (Hrsg.):
In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Piscataway: IEEE. S. 2050-2053
[PDF, 332kB]
ORCID: https://orcid.org/0000-0003-4832-7662; Chien, Po-Chun und Lee, Nian-Ze
(2023):
CPA-DF. A Tool for Configurable Interval Analysis to Boost Program Verification.
38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Echternach, Luxembourg, 11. - 15. September 2023.
Bissyandé, Tegawendé F. (Hrsg.):
In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Piscataway: IEEE. S. 2050-2053
[PDF, 332kB]