An Abstraction-Refinement Framework for Trigger Querying
Abstract elided by the publisher.
Related papers
- Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant POPL 2015
- Incremental Inference for Probabilistic Datalog CAV 2026
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- Finding optimum abstractions in parametric dataflow analysis PLDI 2013
- Program synthesis by type-guided abstraction refinement POPL 2020
- Speeding up symbolic reasoning for relational queries OOPSLA 2018
- Predicate abstraction and refinement for verifying multi-threaded programs POPL 2011
- Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families CAV 2026