Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer. VeriPhy: verified controller executables from verified cyber-physical system models. In Jeffrey S. Foster, Dan Grossman, editors, Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018. pages 617-630, ACM, 2018. [doi]
Abstract is missing.