How to prove “all” differential equation properties

@TECHREPORT{PlatzerY17:TR,
  author    = {Andr{\'e} Platzer and
               Yong Kiam Tan},
  title     = {How to Prove ``All'' Differential Equation Properties},
  number    = {CMU-CS-17-117},
  year      = {2017},
  month     = {August},
  institution = {School of Computer Science,
               Carnegie Mellon University},
  address   = {Pittsburgh, PA},
  pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2017/CMU-CS-17-117.pdf},
  note      = {Extended version at arXiv:1802.01226.pdf},
}```