Atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.
-
Updated
Jun 19, 2024 - Rust
Atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.
Scalable symbolic-numeric set computations in Julia
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.
Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python
Neural Network Verification Software Tool
Matrices with interval coefficients in Julia
Computing reachable states of dynamical systems in Julia
C++ framework for rigorous computation on cyber-physical systems
This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.
This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.
Implementation of STAR from the paper "Reconciling Spatial and Temporal Abstractions for Goal Representation" (ICLR 2024)
Data Driven Reachability Analysis from Noisy Data
Formal Verification of Neural Feedback Loops (NFLs)
Data-Driven Predictive Control
Finite-step reachable set over-approximation of NN dynamical systems using the one-shot and recursive methods.
PnAT tools help you visualize and analyze properties of Petri nets specified in PNML format
yosoy is an HTTP service for stubbing and prototyping distributed applications.
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
HyPro: A C++ state set representation library for the analysis of hybrid systems
Add a description, image, and links to the reachability-analysis topic page so that developers can more easily learn about it.
To associate your repository with the reachability-analysis topic, visit your repo's landing page and select "manage topics."