scientific article

MaRDI QIDQ3384902

No author found.

Publication date: 17 December 2021

Full work available at URL: https://arxiv.org/abs/1705.03167

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• SMT-based model checking for recursive programs
• On recursion-free Horn clauses and Craig interpolation
• An interpolating theorem prover
• Generalized Property Directed Reachability
• Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
• Reachability Modulo Theories
• Avoiding exponential explosion
• Nested interpolants
• Lazy Abstraction with Interpolants
• Verification, Model Checking, and Abstract Interpretation
• Unnamed Item

This page was built for publication: