https://kilthub.cmu.edu/articles/thesis/Deductive_Verification_for_Ordinary_Differential_Equations_Safety_Liveness_and_Stability/20286534/1