Skip to content

CAV 2020 Artifact Evaluation (AE)
Compare
Choose a tag to compare
@ttj ttj released this 29 Jan 00:42
· 1726 commits to master since this release
cav2020
3c4512e

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"

Assets 2