8 results found Sort:
- Filter by Primary Language:
- Julia (3)
- MATLAB (2)
- Python (2)
- Rust (1)
- +
OWASP dep-scan is a next-generation security and risk audit tool based on known vulnerabilities, advisories, and license limitations for project dependencies. Both local repositories and container ima...
Created
2020-01-28
390 commits to master branch, last one 2 months ago
Scalable symbolic-numeric set computations in Julia
Created
2017-10-03
6,417 commits to master branch, last one 3 days ago
Computing reachable states of dynamical systems in Julia
Created
2019-12-03
1,964 commits to master branch, last one 18 days ago
Neural Network Verification Software Tool
safe-ai
autonomy
reachability
verification
safe-autonomy
cyber-physical
formal-methods
hybrid-systems
neural-network
trustworthy-ai
assured-autonomy
formal-verification
reachability-analysis
cyber-physical-systems
robustness-verification
neural-network-verification
neural-network-certification
trustworthy-machine-learning
Created
2018-08-20
1,857 commits to master branch, last one a day ago
Formal Verification of Neural Feedback Loops (NFLs)
Created
2021-02-17
537 commits to release branch, last one 5 months ago
Data-Driven Predictive Control
Created
2020-12-08
31 commits to main branch, last one 11 months ago
Atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.
Created
2023-05-23
288 commits to main branch, last one 26 days ago
Reachability and Safety of Nondeterministic Dynamical Systems
Created
2017-10-12
1,287 commits to master branch, last one 3 years ago