This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Andrew Reynolds
A grouping.
Andrew Reynolds: SMT solving applied to separation logic - an SMT decision procedure, the Bernays-Schönfinkel-Ramsey fragment, SL-COMP, quantifier instantiation. Not John C. Reynolds (see johnreynolds).
6 references
Syntax-Guided Quantifier Instantiation
Aina Niemetz and others (2021) · 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
SL-COMP: Competition of Solvers for Separation Logic
Mihaela Sighireanu and others (2019) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq
Burak Ekici and others (2017) · Computer Aided Verification · Springer International Publishing
Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic
Andrew Reynolds and others (2017) · 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) · Springer
Solving quantified linear arithmetic by counterexample-guided instantiation
Andrew Reynolds and others (2017) · Formal Methods in System Design
A Decision Procedure for Separation Logic in SMT
Andrew Reynolds and others (2016) · Automated Technology for Verification and Analysis · Springer