1 citations · 1 across the 4 of their papers we have counts for
4 papers
Optimized Symbolic Interval Propagation for Neural Network Verification
Philipp Kern, Marko Kleine Büning, Carsten Sinz
Neural networks are increasingly applied in safety critical domains, their verification thus is gaining importance. A large class of recent algorithms for proving input-output rela…
Geometric Path Enumeration for Equivalence Verification of Neural Networks
Samuel Teuber, Marko Kleine Büning, Philipp Kern +1
As neural networks (NNs) are increasingly introduced into safety-critical domains, there is a growing need to formally verify NNs before deployment. In this work we focus on the fo…
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors
Samuel Teuber, Marko Kleine Büning, Carsten Sinz
Decision procedures for SMT problems based on the theory of bit-vectors are a fundamental component in state-of-the-art software and hardware verifiers. While very efficient in gen…
Unbounded Software Model Checking with Incremental SAT-Solving
Marko Kleine Büning, Tomas Balyo, Carsten Sinz
This paper describes a novel unbounded software model checking approach to find errors in programs written in the C language based on incremental SAT-solving. Instead of using the…