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}
}