OWASP dep-scan is a next-generation security and risk audit tool based o...
Scalable symbolic-numeric set computations in Julia
Computing reachable states of dynamical systems in Julia
Neural Network Verification Software Tool
Formal Verification of Neural Feedback Loops (NFLs)
Reachability and Safety of Nondeterministic Dynamical Systems
Map2Check: Finding Software Vulnerabilities