Deductive stability proofs for ordinary differential equations

@INPROCEEDINGS{DBLP:conf/tacas/TanP21,
	pdf = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-72013-1_10.pdf},
	slides = {pub/axiomatic-stability-slides.pdf},

  author    = {Yong Kiam Tan and
               Andr{\'{e}} Platzer},
  editor    = {Jan Friso Groote and
               Kim G. Larsen},
  title     = {Deductive Stability Proofs for Ordinary Differential Equations},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 27th International Conference, {TACAS} 2021, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2021, Proceedings, Part {II}},
  series    = {LNCS},
  volume    = {12652},
  pages     = {181–199},
  publisher = {Springer},
  year      = {2021},
  doi       = {10.1007/978-3-030-72013-1_10},
}```