conftrace_

safety property

8 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (4) distributed protocol (3) inductive invariant (3) smt solver (2) automated verification (2) safety-critical system (2) neural network (2) neural network verification (2) bug detection (1) provenance invariant (1)

Papers

Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 Runtime Protocol Refinement Checking for Distributed Protocol Implementations NSDI 2025 NN4SysBench: Characterizing Neural Network Verification for Computer Systems NeurIPS 2024 DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022 DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols OSDI 2021 Probabilistic Robustness Quantification of Neural Networks AAAI 2021 Efficient Formal Safety Analysis of Neural Networks NeurIPS 2018 Safe Control under Uncertainty with Probabilistic Signal Temporal Logic RSS 2016