Crossmark

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification

Crossref DOI link: https://doi.org/10.1007/s10817-024-09702-9

Published Online: 2025-02-05

Published Print: 2025-03

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Beyer, Dirk https://orcid.org/0000-0003-4832-7662
Lee, Nian-Ze https://orcid.org/0000-0002-8096-5595
Wendler, Philipp https://orcid.org/0000-0002-5139-341X
Funding

Funding for this research was provided by:

Ludwig-Maximilians-Universität München
License Information

Text and Data Mining valid from 2025-02-05

Version of Record valid from 2025-02-05
More Information

Article History

Received: 11 August 2022

Accepted: 6 July 2023

First Online: 5 February 2025