conftrace_

formal verification

284 papers

Explore in graph

Also known as

FV

Co-occurring keywords

neural network verification (106) adversarial robustness (1341) model checking (105) neural network (6616) temporal logic (105) theorem proving (63) large language model (13587) linear temporal logic (82) multi-agent system (1819) automated reasoning (122)

Papers

Spoq: Scaling Machine-Checkable Systems Verification in Coq OSDI 2023
Second-Order Quantified Boolean Logic AAAI 2023
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control OSDI 2023
TextVerifier: Robustness Verification for Textual Classifiers with Certifiable Guarantees ACL 2023
RHINE: Robust and High-performance Internet Naming with E2E Authenticity NSDI 2023
Complexity of Safety and coSafety Fragments of Linear Temporal Logic AAAI 2023
Formal Verification of Bayesian Mechanisms AAAI 2023
Automated Verification of Network Function Binaries NSDI 2022
Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
Neuro-Symbolic Verification of Deep Neural Networks IJCAI 2022
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes AAAI 2022
Design and Verification of the Arm Confidential Compute Architecture OSDI 2022
GoTube: Scalable Statistical Verification of Continuous-Depth Models AAAI 2022
Delivering Trustworthy AI through Formal XAI AAAI 2022
Neural Abstractions NIPS 2022
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning OSDI 2022
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach L4DC 2022
Linear Temporal Logic Modulo Theories over Finite Traces IJCAI 2022
Synthesis of Maximally Permissive Strategies for LTLf Specifications IJCAI 2022
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales AAAI 2022
Reinforcement Learning Explainability via Model Transforms (Student Abstract) AAAI 2022
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs EMNLP 2022
Sound and Complete Verification of Polynomial Networks NIPS 2022