Conference: iPRA 2022 (The 4th Workshop on Interpolation: From Proofs to Applications)

Conference: iPRA 2022 (The 4th Workshop on Interpolation: From Proofs to Applications)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Interpolation via Finitely Subdirectly Irreducible Algebras

Interpolation via Finitely Subdirectly Irreducible Algebras

Wesley Fussner and George Metcalfe

When Iota Meets Lambda

When Iota Meets Lambda

Andrzej Indrzejczak and Michal Zawidzki

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

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

Philipp Wendler, Dirk Beyer and Nian-Ze Lee

Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems

Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems

Alessandro Gianola

Presentations in this collection: 4