Releases: verivital/nnv
FormaliSE 2025
"Robustness Verification of Video Classification Neural Networks"
Submitted to FormaliSE 2025, Artifact Evaluation (AE)
Code available at: Submission/FORMALISE2025
ICAIF 2024
FairNNV: The Neural Network Verification Tool For Certifying Fairness
Published at the 5th ACM International Conference on AI in Finance
Code available at: Submission/ICAIF24
vnncomp2024
NNV version for the participation in the Verification of Neural Network competition, 2024.
Submission folder: examples/Submission/VNN_COMP2024
Competition Information
5th International Verification of Neural Networks Competition (VNN-COMP'24)
cav2023
CAV 2023 Artifact Evaluation: NNV 2.0: The Neural Network Verification Tool
This is the release corresponding to results in the CAV'23 paper: NNV 2.0: The Neural Network Verification Tool
CodeOcean Capsule: https://codeocean.com/capsule/6689683/
The examples used in the paper are available in code/nnv/examples/NNV2.0/Submission/CAV2023
https://github.com/verivital/nnv/tree/master/code/nnv/examples/NNV2.0/Submission/CAV2023
HSCC2023
FORMATS 2022 Artifact Evaluation: Reachability Analysis of a General Class of Neural Ordinary Differential Equations (ODEs)
This release contains the neural ordinary differential equation (ODE) reachability analysis code, corresponding to the paper "Reachability Analysis of a General Class of Neural Ordinary Differential Equations" by Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton and Taylor T Johnson appearing at 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022).
The examples, case studies, etc., used in the paper are available in code/nnv/examples/Submission/FORMATS2022:
Tagged link: https://github.com/verivital/nnv/tree/formats2022/code/nnv/examples/Submission/FORMATS2022
Main link: https://github.com/verivital/nnv/tree/master/code/nnv/examples/Submission/FORMATS2022
FAOC 2021 Examples and Case Studies (Journal Extension of FM'19 Star Set Paper)
This release contains the improved star set reachability methods implemented in NNV, used in the Formal Aspects of Computing (FAOC) journal special issue, extending the earlier Formal Methods (FM'19) star set paper.
The examples, case studies, etc., used in the paper are available in code/nnv/examples/Submission/FM2019_Journal:
https://github.com/verivital/nnv/tree/faoc2021/code/nnv/examples/Submission/FM2019_Journal
CAV 2021 Artifact Evaluation: Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability
This is the release corresponding to results in the CAV'21 paper: Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability
CAV 2020 Artifact Evaluation (AE) for Verification of Deep Convolutional Neural Networks Using ImageStars
Artifact evaluation files for CAV 2020 paper, Verification of Deep Convolutional Neural Networks Using ImageStars
CAV 2020 Artifact Evaluation (AE)
This release has all files for NNV for the artifact evaluation of the CAV 2020 tool paper submission "NNV: A Tool for the Verification of Deep Neural Networks and Learning-enabled Cyber-Physical Systems"