formal verification

Specifying and Testing k-Safety Properties for Machine-Learning Models IJCAI 2023 Spoq: Scaling Machine-Checkable Systems Verification in Coq OSDI 2023 Synthesizing Runtime Programmable Switch Updates NSDI 2023 TextVerifier: Robustness Verification for Textual Classifiers with Certifiable Guarantees ACL 2023 The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks IJCAI 2023 Towards Formal Verification of Neuro-symbolic Multi-agent Systems IJCAI 2023 Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games AAAI 2023 Verifying vMVCC, a high-performance transaction library using multi-version concurrency control OSDI 2023 Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees ICLR 2023 Autoformalization with Large Language Models NeurIPS 2022 Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022 Automated Verification of Network Function Binaries NSDI 2022 Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach L4DC 2022 Delivering Trustworthy AI through Formal XAI AAAI 2022 Design and Verification of the Arm Confidential Compute Architecture OSDI 2022 DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022 Formal Semantics and Formally Verified Validation for Temporal Planning AAAI 2022 GoTube: Scalable Statistical Verification of Continuous-Depth Models AAAI 2022 Linear Temporal Logic Modulo Theories over Finite Traces IJCAI 2022 Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022 Neural Abstractions NeurIPS 2022 Neuro-Symbolic Verification of Deep Neural Networks IJCAI 2022 Reinforcement Learning Explainability via Model Transforms (Student Abstract) AAAI 2022 Robust Anytime Learning of Markov Decision Processes NeurIPS 2022 Sound and Complete Verification of Polynomial Networks NeurIPS 2022