Multiple pytorch tools towards formal verification of neural networks
- PyTorch to PVS theory generation
- Interval propagation through PyTorch network
- Statistical Model Checking (SMC) neural network verification
Install dependencies with:
pip install -r requirements.txtpip install torchverifSee tests/ for examples
If you use this repository in your works, please cite the following papers:
@article{rossi2024closedloop,
title = {Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover},
journal = {Engineering Applications of Artificial Intelligence},
volume = {137},
pages = {109238},
year = {2024},
issn = {0952-1976},
doi = {https://doi.org/10.1016/j.engappai.2024.109238},
url = {https://www.sciencedirect.com/science/article/pii/S0952197624013964},
author = {Federico Rossi and Cinzia Bernardeschi and Marco Cococcioni},
keywords = {Cyber–physical systems, Neural networks, Closed-loop control systems, Formal verification, Interval arithmetic},
}