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

Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021
SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021
On the Verification of Neural ODEs with Stochastic Guarantees AAAI 2021
Neural Circuit Synthesis from Specification Patterns NIPS 2021
GoJournal: a verified, concurrent, crash-safe journaling system OSDI 2021
Hierarchical Verification for Adversarial Robustness ICML 2020
Towards Verifying Robustness of Neural Networks Against A Family of Semantic Perturbations CVPR 2020
Verifying Fault-Tolerance in Probabilistic Swarm Systems IJCAI 2020
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic IJCAI 2020
Synthesizing strategies under expected and exceptional environment behaviors IJCAI 2020
Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020
Clouseau: Generating Communication Protocols from Commitments AAAI 2020
LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020
Liveness Verification of Stateful Network Functions NSDI 2020
Automated Verification of Customizable Middlebox Properties with Gravel NSDI 2020
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer OSDI 2020
A Simpler and Faster NIC Driver Model for Network Functions OSDI 2020
Neurosymbolic Reinforcement Learning with Formally Verified Exploration NIPS 2020
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks NIPS 2020
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis AAAI 2020
Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020
Branch and Bound for Piecewise Linear Neural Network Verification JMLR 2020
NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020
Cobra: Making Transactional Key-Value Stores Verifiably Serializable OSDI 2020
Plankton: Scalable network configuration verification through model checking NSDI 2020