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 images are supported as the input, and the tool is ideal for integration.

Scalable symbolic-numeric set computations in Julia

Computing reachable states of dynamical systems in Julia

Neural Network Verification Software Tool

atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.

Formal Verification of Neural Feedback Loops (NFLs)

Data-Driven Predictive Control

Reachability and Safety of Nondeterministic Dynamical Systems

HyPro: A C++ state set representation library for the analysis of hybrid systems

Data Driven Reachability Analysis from Noisy Data

Map2Check: Finding Software Vulnerabilities

C++ framework for rigorous computation on cyber-physical systems

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Python library used to safely control drone swarms and drone fleets with MAVLink

Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python

Matrices with interval coefficients in Julia

Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)

yosoy is an HTTP service for stubbing and prototyping distributed applications.

This repository provides codes in MATLAB for computing data-driven backward reachable sets and set-theoretic model predictive control (ST-MPC).

[ICRA 2025] Code for Conformalized Reachable Sets for Obstacle Avoidance With Spheres

A tool to draw Petri Nets and analyze their static and dynamic behavior.

Implementation of STAR from the paper "Reconciling Spatial and Temporal Abstractions for Goal Representation" (ICLR 2024)

Python Library for Data-Driven Reachability Analysis.

This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.

LazySets.jl article for the JuliaCon 2021 Conference Proceedings

PnAT tools help you visualize and analyze properties of Petri nets specified in PNML format

Build cross-language call graphs for Python packages. Perform vulnerability reachability analysis, detect unused code (bloat)

NeuReach: Learning Reachability Functions from Simulations

Python implementation of data-driven reachability analysis using Zonotopes

This repository provides the codes for designing a data-driven control architecture for preserving the safety and tracking performance of constrained cyber-physical systems under networked attacks. (coming soon!)