axiomatization, comparison invariants, Comparison systems, control invariance, differential dynamic logic.
