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

Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, Andr Platzer

Browse the full PLDI paper archive.