formal verification

Stability Verification in Stochastic Control Systems via Neural Network Supermartingales AAAI 2022 Synthesis of Maximally Permissive Strategies for LTLf Specifications IJCAI 2022 Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs EMNLP 2022 Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes AAAI 2022 Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022 Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning OSDI 2022 Zonotope Domains for Lagrangian Neural Network Verification NeurIPS 2022 A SAT-based Resolution of Lam's Problem AAAI 2021 Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up IJCAI 2021 BT Expansion: a Sound and Complete Algorithm for Behavior Planning of Intelligent Robots with Behavior Trees AAAI 2021 DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis IJCAI 2021 Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers ICLR 2021 Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021 Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis IJCAI 2021 Formal verification of neural networks for safety-critical tasks in deep reinforcement learning UAI 2021 Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning ICLR 2021 GoJournal: a verified, concurrent, crash-safe journaling system OSDI 2021 Justicia: A Stochastic SAT Approach to Formally Verify Fairness AAAI 2021 Neural Circuit Synthesis from Specification Patterns NeurIPS 2021 On-the-fly Synthesis for LTL over Finite Traces AAAI 2021 On the Verification of Neural ODEs with Stochastic Guarantees AAAI 2021 Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021 Quantification of Resource Production Incompleteness AAAI 2021 Responsibility Attribution in Parameterized Markovian Models AAAI 2021 Robustness Certification for Point Cloud Models ICCV 2021