Ariadne

Ariadne

Description: Ariadne is a library for formal verification of cyber physical systems. In particular, it allows to model such systems as hybrid systems, focusing on nonlinear behavior.

Since the evolution of a nonlinear hybrid system cannot be calculated exactly, Ariadne uses numerical analysis to compute such evolution in an approximate way. The library uses a conservative rounding approach along with rigorous semantics to guarantee the correctness of the results, independently of the numerical precision of the processing machine. In particular, it is able to calculate approximations of the trajectory from above or from below, which allows to prove or disprove properties of the system, respectively. Written in C++, an additional Python interface is available.

VO Integration: No

Active: Yes

Available Benchmarks: NLN

Website: http://www.ariadne-cps.org

Download: The project's code repository can be found here. Packages for Homebrew and Aptitude are released.

Documentation: Installation instructions and a tutorial can be found here and here.

Excerpt and graphics from: http://www.ariadne-cps.org