abstract interpretation, hybrid system, Nonstandard Analysis, reachability analysis, Symbolic Analysis.
