Dynamical Systems; Infinite State Systems; Invariants; K-Induction

Dynamical systems model the time evolution of both natural and engineered processes. The automatic analysis of such models relies on different techniques ranging from reachability analysis, model checking, theorem proving, and abstractions. In this …