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', 'Stefan Mitsch', 'Jan-David Quesel', 'Marcus Völp', 'André 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', 'Aart Middeldorp']},
	publisher = {Springer},
	series = {LNCS},
	volume = {9195}
}