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

Small Undecidable Problems in Epistemic Planning IJCAI 2018
Fast and Effective Robustness Certification NIPS 2018
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018
Formal Analysis of Deep Binarized Neural Networks IJCAI 2018
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018
Formal Verification of Bayesian Network Classifiers PGM 2018
Learning to Solve SMT Formulas NIPS 2018
Efficient Formal Safety Analysis of Neural Networks NIPS 2018
Nickel: A Framework for Design and Verification of Information Flow Control Systems OSDI 2018
Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees RSS 2018
Verifying concurrent software using movers in CSPEC OSDI 2018
SynKit: LTL Synthesis as a Service IJCAI 2018
Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs IJCAI 2018
Partakable Technology IJCAI 2018
Proving confidentiality in a file system using DiskSec OSDI 2018
A Unified View of Piecewise Linear Neural Network Verification NIPS 2018
Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018
Learning from Demonstrations with High-Level Side Information IJCAI 2017
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality IJCAI 2017
An Abstraction-Refinement Methodology for Reasoning about Network Games IJCAI 2017
Non-Determinism and the Dynamics of Knowledge IJCAI 2017
Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017
Developing Bug-Free Machine Learning Systems With Formal Mathematics ICML 2017
Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation NIPS 2017
Verifying Reachability in Networks with Mutable Datapaths NSDI 2017