PV3 ERAN: ETH Robustness Analyzer for Neural Networksverifies safety properties of neural networks against input perturbations

An analyzer based on abstract interpretation for verification of MNIST, CIFAR10, and ACAS Xu based networks.

Application domain/field

Expected input

Format:

Expected output

Depends on the analysis that is run.

Internals

Comments

License: Apache-2.0
Neural network

Links

Repository: https://github.com/eth-sri/eran

Last commit date

10 December 2021

Related papers

Last publication date

2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.