Search Results - RepositoryStats

94

927

mit

16

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...

cve sca vex sbom cyclonedx devsecops compliance containers risk-audit security-audit security-tools dependency-audit dependency-analysis reachability-analysis supply-chain-security vulnerability-scanners

Created 2020-01-28

353 commits to master branch, last one 10 days ago

LazySets.jl JuliaReach

32

226

other

9

Scalable symbolic-numeric set computations in Julia

sets julia calculus geometry polygons zonotope polyhedra convex-hull convex-sets projections minkowski-sum lazy-evaluation set-propagation formal-verification geometry-algorithms reachability-analysis computational-geometry

Created 2017-10-03

5,642 commits to master branch, last one 13 hours ago

ReachabilityAnalysis.jl JuliaReach

17

187

mit

10

Computing reachable states of dynamical systems in Julia

ode julia flowpipe simulations verification hybrid-systems control-systems set-propagation automatic-control dynamical-systems rigorous-numerics numerical-analysis formal-verification interval-arithmetic reachability-analysis cyber-physical-systems differential-equations

Created 2019-12-03

1,861 commits to master branch, last one 24 days ago

nnv verivital

48

103

unknown

7

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,726 commits to master branch, last one 12 days ago

nfl_veripy neu-autonomy

16

73

mit

6

Formal Verification of Neural Feedback Loops (NFLs)

robotics deep-learning control-systems neural-networks adversarial-attacks reachability-analysis robustness-verification

Created 2021-02-17

530 commits to release branch, last one 11 months ago

Reachability.jl JuliaReach

4

50

mit

7

Reachability and Safety of Nondeterministic Dynamical Systems

ode julia engineering simulations verification control-theory hybrid-systems control-systems automatic-control dynamical-systems formal-verification reachability-analysis cyber-physical-systems

Created 2017-10-12

1,287 commits to master branch, last one 3 years ago