bibekkabi/Continuous_time_system_analyzer
A prototype analyzer, written in OCaml connected to APRON Abstract Domain Library for finding positive invariant of continuous time systems
C++
Stargazers
No one’s star this repository yet.
A prototype analyzer, written in OCaml connected to APRON Abstract Domain Library for finding positive invariant of continuous time systems
C++
No one’s star this repository yet.