conftrace_

smt solver

18 papers

Explore in graph

Co-occurring keywords

smt solving (22) satisfiability modulo theories (22) formal verification (284) constraint solving (39) inductive invariant (4) automated verification (11) weighted model integration (15) strategy synthesis (24) neural network (6616) minimalist grammar (11)

Papers

A Layered Formal Methods Approach to Answering Queue-related Queries NSDI 2025
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis IJCAI 2024
Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser CONLL 2022
Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser EMNLP 2022
Blockaid: Data Access Policy Enforcement for Web Applications OSDI 2022
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
Reducing Neural Network Parameter Initialization Into an SMT Problem (Student Abstract) AAAI 2021
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols OSDI 2021
Scalable Verification of Quantized Neural Networks AAAI 2021
Data Generation for Neural Programming by Example AISTATS 2020
Grammar Filtering for Syntax-Guided Synthesis AAAI 2020
Learning Weighted Model Integration Distributions AAAI 2020
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers IJCAI 2020
Concurrency Debugging with MaxSMT AAAI 2019
Nickel: A Framework for Design and Verification of Information Flow Control Systems OSDI 2018
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems IJCAI 2018
Weighted Model Integration with Orthogonal Transformations IJCAI 2017
Efficient and Complete FD-solving for extended array constraints IJCAI 2017