There are 1 repository under numerical-verification topic.
Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl
Testing the implementation of numerical methods for solving the convection diffusion problem with variable coefficients and Neumann boundary conditions