JuliaReach Framework for analysis of cyber-physical systems
(organization page) (Watch on Youtube workshop presentation at JuliaCon 2021)
    LazySets.jl Library for scalable symbolic-numeric set computations
    ReachabilityAnalysis.jl Library for reachability analysis of cyber-physical systems
    ClosedLoopReachability.jl Analysis of closed-loop systems with neural-network controllers
    RangeEnclosures.jl Library for range enclosures of real-valued functions
HySynth Framework for synthesis of cyber-physical systems from time-series data
    HySynthParametric Parametric linear hybrid automata
    HySynth Hybrid automata with constant or affine continuous dynamics
Into the Unknown Active monitoring of neural networks
Outside the Box Novelty detection for neural networks
Ultimate Framework for program analysis, including an automata library
(web interface)
HyST Stateflow Converter Conversion from hybrid-automaton models to Simulink/Stateflow models (now part of HyST)
AdaptiveMomentClosure Parameter synthesis for chemical reaction networks
Hydentify Robustness verification and parameter synthesis for multiaffine systems