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

Journal

Journal of Automated Reasoning

Journal Volume

69

Journal Issue

1

ISSN

0168-7433

1573-0670

Date Issued

2025-02-05

Author(s)

Dirk Beyer

Philipp Wendler

DOI

URI

Publisher

Springer Science and Business Media LLC

Type

journal article