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

Correct by Construction Networks Using Stepwise Refinement NSDI 2017
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation OSDI 2016
Push-Button Verification of File Systems via Crash Refinement OSDI 2016
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016
Correlated Crash Vulnerabilities OSDI 2016
An Automata-Theoretic Approach to the Vehicle Routing Problem RSS 2014
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles RSS 2013
Guaranteeing High-Level Behaviors while Exploring Partially Known Maps RSS 2012
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error RSS 2011