Selfless interpolation for infinite-state model checking

DOI10.1007/978-3-319-73721-8_23zbMATH Open1446.68100OpenAlexW2776858923MaRDI QIDQ3296348FDOQ3296348

Authors: 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

Recommendations

• Interpolation and model checking for nonlinear arithmetic
• Computer Science Logic
• Interpolation and SAT-based model checking.
• Lazy Abstraction with Interpolants
• Accelerating Interpolation-Based Model-Checking

Mathematics Subject Classification ID

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

Cited In (4)

• Interpolation and model checking for nonlinear arithmetic
• Global guidance for local generalization in model checking
• Accelerating Interpolation-Based Model-Checking
• Global guidance for local generalization in model checking

This page was built for publication: Selfless interpolation for infinite-state model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3296348)