reachability-analysis topic
LazySets.jl
Scalable symbolic-numeric set computations in Julia
ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
dep-scan
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...
Reachability.jl
Reachability and Safety of Nondeterministic Dynamical Systems
nnv
Neural Network Verification Software Tool
Map2Check
Map2Check: Finding Software Vulnerabilities
nfl_veripy
Formal Verification of Neural Feedback Loops (NFLs)
IntervalMatrices.jl
Matrices with interval coefficients in Julia
SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
pymavswarm
Python library used to safely control drone swarms and drone fleets with MAVLink