Selfless Interpolation for Infinite-State Model Checking

DOI10.1007/978-3-319-73721-8_23zbMath1446.68100OpenAlexW2776858923MaRDI QIDQ3296348

Tanja I. Schindler, Dejan Jovanović

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-73721-8_23

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Interpolation and model checking for nonlinear arithmetic

This page was built for publication: Selfless Interpolation for Infinite-State Model Checking