Bounded Model Checking, interval arithmetics, Satisfiability Modulo Theory, stochastic hybrid system.
