NeVer: a tool for artificial neural networks verification


DOI: 10.1007/s10472-011-9243-0

Cite this article as:
Pulina, L. & Tacchella, A. Ann Math Artif Intell (2011) 62: 403. doi:10.1007/s10472-011-9243-0


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 NeVer, our tool for checking safety of ANNs. 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 NeVer. We present also empirical results confirming the effectiveness of NeVer on realistic case studies.


Formal methods for adaptive systems Abstraction techniques Algorithms and tools for verification 

Mathematics Subject Classifications (2010)

68Q60 68Q45 

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.DISTUniversità di GenovaGenovaItaly

Personalised recommendations