KeYmaera X: An axiomatic tactical theorem prover for hybrid systems

@INPROCEEDINGS{DBLP:conf/cade/FultonMQVP15,
	pdf = {pub/KeYmaeraX.pdf},
	slides = {pub/KeYmaeraX-slides.pdf},

  author    = {Nathan Fulton and
               Stefan Mitsch and
               Jan-David Quesel and
               Marcus V{\"o}lp and
               Andr{\'e} Platzer},
  title     = {{KeYmaera X}: An Axiomatic Tactical Theorem Prover
               for Hybrid Systems},
  booktitle = {CADE},
  longbooktitle = {International Conference on Automated
               Deduction, {CADE-25}, Berlin, Germany, Proceedings},
  year      = {2015},
  pages     = {527--538},
  doi       = {10.1007/978-3-319-21401-6_36},
  editor    = {Amy P. Felty and
               Aart Middeldorp},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {9195},
}```