Releases: verivital/nnv
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"
HSCC2020 Artifact
These are the artifacts for repeatability for the HSCC'20 tool paper, primarily in these examples:
https://github.com/verivital/nnv/tree/master/code/nnv/examples/Submission/HSCC2020
EMSOFT 2019 Artifacts
This release contains the artifacts to reproduce the computational results in our EMSOFT 2019 paper, in these examples:
https://github.com/verivital/nnv/tree/master/nnv/examples/Submission/EMSOFT2019
FM 2019 Artifacts
This release contains the FM 2019 artifacts, which are reproducible from the examples\Submissions\FM2019 subfolder:
https://github.com/verivital/nnv/tree/master/nnv/examples/Submission/FM2019