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 and
               Yong Kiam Tan and
               Stefan Mitsch and
               Magnus O. Myreen and
               Andr{\'{e}} 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},
}```