Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer
VeriPhy: verified controller executables from verified cyber-physical system models
PLDI, 2018.
@inproceedings{PLDI-2018-BohrerTMMP,
author = "Brandon Bohrer and Yong Kiam Tan and Stefan Mitsch and Magnus O. Myreen and André Platzer",
booktitle = "{Proceedings of the 39th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3192366.3192406",
pages = "617--630",
publisher = "{ACM}",
title = "{VeriPhy: verified controller executables from verified cyber-physical system models}",
year = 2018,
}