conftrace_

safety property

8 papers

Explore in graph

Co-occurring keywords

formal verification (284) distributed protocol (7) inductive invariant (4) smt solver (18) automated verification (11) safety-critical system (19) neural network (6616) neural network verification (106) bug detection (23) 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 NIPS 2024
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
Probabilistic Robustness Quantification of Neural Networks AAAI 2021
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols OSDI 2021
Efficient Formal Safety Analysis of Neural Networks NIPS 2018
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic RSS 2016