8 results found Sort:

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
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
3
62
apache-2.0
3
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