VeriPhy: Verified controller executables from verified cyber-physical system models

@inproceedings{DBLP:conf/pldi/BohrerTMMP18,
	pdf = {https://dl.acm.org/doi/pdf/10.1145/3192366.3192406},
	slides = {pub/VeriPhy-slides.pdf},
	author = {['Brandon Bohrer', 'Yong Kiam Tan', 'Stefan Mitsch', 'Magnus O. Myreen', 'André Platzer']},
	title = {VeriPhy: Verified Controller Executables
               from Verified Cyber-Physical System Models},
	pages = {617-630},
	year = {2018},
	doi = {10.1145/3192366.3192406},
	publisher = {ACM},
	editor = {['Dan Grossman']},
	booktitle = {PLDI},
	longbooktitle = {Proceedings of the 39th ACM SIGPLAN
               Conference on Programming Language
               Design and Implementation, PLDI 2018}
}