NeVer

NeVer: a tool for artificial neural networks verification The adoption of artificial neural networks (ANNs) in safety-related applications is often avoided because it is difficult to rule out possible misbehaviors with traditional analytical or probabilistic techniques. In this paper we present {sc NeVer}, our tool for checking safety of ANNs.{sc NeVer} encodes the problem of verifying safety of ANNs into the problem of satisfying corresponding Boolean combinations of linear arithmetic constraints. We describe the main verification algorithm and the structure of {sc NeVer}. We present also empirical results confirming the effectiveness of {sc NeVer} on realistic case studies.

References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Pulina, Luca; Tacchella, Armando: NeVer: a tool for artificial neural networks verification (2011)