NLTOOLBOX

NLTOOLBOX: a library for reachability computation of nonlinear dynamical systems. We describe NLTOOLBOX, a library of data structures and algorithms for reachability computation of nonlinear dynamical systems. It provides the users with an easy way to “program” their own analysis procedures or to solve other problems beyond verification. We illustrate the use of the library for the analysis of a biological model.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element