conftrace_

safety critical

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network verification (2) formal verification (2) computer system (1) model repair (1) safety-critical application (1) safety-critical system (1) safety property (1) formal guarantee (1) benchmark suite (1)

Papers

NN4SysBench: Characterizing Neural Network Verification for Computer Systems NeurIPS 2024 Verification and Repair of Neural Networks AAAI 2021