https://github.com/verivital/nnv
Neural Network Verification Software Tool
https://github.com/verivital/nnv
assured-autonomy autonomy cyber-physical cyber-physical-systems formal-methods formal-verification hybrid-systems neural-network neural-network-certification neural-network-verification reachability reachability-analysis robustness-verification safe-ai safe-autonomy trustworthy-ai trustworthy-machine-learning verification
Last synced: 3 months ago
JSON representation
Neural Network Verification Software Tool
- Host: GitHub
- URL: https://github.com/verivital/nnv
- Owner: verivital
- Created: 2018-08-20T22:22:26.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2026-01-22T07:43:48.000Z (5 months ago)
- Last Synced: 2026-01-22T22:13:13.453Z (5 months ago)
- Topics: assured-autonomy, autonomy, cyber-physical, cyber-physical-systems, formal-methods, formal-verification, hybrid-systems, neural-network, neural-network-certification, neural-network-verification, reachability, reachability-analysis, robustness-verification, safe-ai, safe-autonomy, trustworthy-ai, trustworthy-machine-learning, verification
- Language: MATLAB
- Homepage: http://www.verivital.com
- Size: 3.01 GB
- Stars: 135
- Watchers: 5
- Forks: 59
- Open Issues: 16
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-ai-safety - NNV - Verification for deep neural networks and neural network control systems, focused on safety-critical applications. (Formal Verification & Robustness / Neural Network Verifiers)