Global guidance for local generalization in model checking
From MaRDI portal
Publication:6632197
DOI10.1007/s10703-023-00412-3MaRDI QIDQ6632197
Hari Govind Vediramana Krishnan, Yu-Ting Chen, Arie Gurfinkel, Sharon Shoham
Publication date: 4 November 2024
Published in: Formal Methods in System Design (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Guiding Craig interpolation with domain-specific abstractions
- Global guidance for local generalization in model checking
- Infinite-state invariant checking with IC3 and predicate abstraction
- Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29--April 6, 2008. Proceedings
- SAT-Based Model Checking without Unrolling
- Selfless Interpolation for Infinite-State Model Checking
- Anti-unification Algorithms and Their Applications in Program Analysis
- Generalizing DPLL to Richer Logics
- Computing convex hulls with a linear solver
- Anti-unification in Constraint Logic Programming
- Property Directed Polyhedral Abstraction
- Lazy Abstraction with Interpolants
- Computer Aided Verification
- ICE-based refinement type discovery for higher-order functional programs
- Decomposing Farkas Interpolants
This page was built for publication: Global guidance for local generalization in model checking
