scientific article; zbMATH DE number 7806143

arXiv2211.12231MaRDI QIDQ6197216

Emanuele De Angelis, Unnamed Author

Publication date: 16 February 2024

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

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

Mathematics Subject Classification ID

Numerical analysis (65-XX) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• SMT-based model checking for recursive programs
• Efficient interpolation for the theory of arrays
• OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
• Horn Clause Solvers for Program Verification
• A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
• Lazy Abstraction with Interpolants
• Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach
• Analysis and Transformation of Constrained Horn Clauses for Program Verification

This page was built for publication: