Deductive verification for ordinary differential equations: Safety, liveness, and stability

@PHDTHESIS{Tan22,
	pdf = {https://kilthub.cmu.edu/articles/thesis/Deductive_Verification_for_Ordinary_Differential_Equations_Safety_Liveness_and_Stability/20286534},

  author    = {Yong Kiam Tan},
  school    = {Computer Science Department, School of Computer Science, Carnegie Mellon University},
  title     = {Deductive Verification for Ordinary Differential Equations: Safety, Liveness, and Stability},
  year      = {2022},
  url       = {https://kilthub.cmu.edu/articles/thesis/Deductive_Verification_for_Ordinary_Differential_Equations_Safety_Liveness_and_Stability/20286534},
  doi       = {10.1184/R1/20286534.v1}
}```