  This note examines the safety verification of the solution of Ito stochastic
differential equations using the notion of stochastic zeroing barrier function.
The main tools in the proposed method include Ito calculus and the concept of
stochastic invariant set.
