  An important tool for proving safety of dynamical systems is the notion of a
barrier certificate. In this paper we prove that every robustly safe ordinary
differential equation has a barrier certificate. Moreover, we show a
construction of such a barrier certificate based on a set of states that is
reachable in finite time.
