Differential Dynamic Logic for Hybrid Systems
Dynamic logic